1 citations · 2 across the 3 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2020★ 1 cited
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…
cs.FL2018
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…