1 citations · 2 across the 3 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
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…
cs.LO2018
A Parametric Framework for Reversible -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…