22 citations · 96 across the 27 of their papers we have counts for
25 papers · 1 filter
Fault-Tolerant Multiparty Session Types with Global Escape Loops
Lukas Bartl, Julian Linne, Kirstin Peters
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…
Probabilistic Operational Correspondence (Technical Report)
Anna Schmitt, Kirstin Peters
Encodings are the main way to compare process calculi. By applying quality criteria to encodings we analyse their quality and rule out trivial or meaningless encodings. Thereby, op…
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…