22 citations · 96 across the 27 of their papers we have counts for
4 papers · 1 filter
On the Expressiveness of Mixed Choice Sessions
Kirstin Peters, Nobuko Yoshida
Session types provide a flexible programming style for structuring interaction, and are used to guarantee a safe and consistent composition of distributed processes. Traditional se…
On the Expressiveness of Mixed Choice Sessions (Technical Report)
Kirstin Peters, Nobuko Yoshida
Session types provide a flexible programming style for structuring interaction, and are used to guarantee a safe and consistent composition of distributed processes. Traditional se…
FTMPST: Fault-Tolerant Multiparty Session Types
Kirstin Peters, Uwe Nestmann, Christoph Wagner
Multiparty session types are designed to abstractly capture the structure of communication protocols and verify behavioural properties. One important such property is progress, i.e…
Encodability Criteria for Quantum Based Systems
Anna Schmitt, Kirstin Peters, Yuxin Deng
Quantum based systems are a relatively new research area for that different modelling languages including process calculi are currently under development. Encodings are often used…