65 citations · 340 across the 42 of their papers we have counts for
3 papers · 1 filter
Event structures for the reversible early internal Pi-calculus
Eva Graversen, Iain Phillips, Nobuko Yoshida
The pi-calculus is a widely used process calculus, which models communications between processes and allows the passing of communication links. Various operational semantics of the…
A Parametric Framework for Reversible Pi-Calculi
Doriana Medic, Claudio Antares Mezzina, Iain Phillips +1
This paper presents a study of causality in a reversible, concurrent setting. There exist various notions of causality in pi-calculus, which differ in the treatment of parallel ext…
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
Pierre-Malo Deniélou, Nobuko Yoshida
Multiparty session types are a type system that can ensure the safety and liveness of distributed peers via the global specification of their interactions. To construct a global sp…