22 citations · 96 across the 27 of their papers we have counts for
27 papers
Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Kirstin Peters, Lorenzo Gheri
This volume contains the proceedings of PLACES 2026, the 17th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The work…
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…