Skip to Main content Skip to Navigation
Conference papers

A compositional semantics for the reversible pi-calculus

Abstract : We introduce a labelled transition semantics for the reversible pi-calculus. It is the first account of a com- positional definition of a reversible calculus, that has both concurrency primitives and name mobility. The notion of reversibility is strictly linked to the notion of causality. We discuss the notion of causality induced by our calculus, and we compare it with the existing notions in the literature, in particular for what concerns the syntactic feature of scope extrusion, typical of the pi-calculus.
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00840156
Contributor : Jean Krivine Connect in order to contact the contributor
Submitted on : Monday, July 1, 2013 - 4:53:00 PM
Last modification on : Saturday, March 28, 2020 - 2:21:02 AM
Long-term archiving on: : Wednesday, October 2, 2013 - 4:14:35 AM

File

Rpi.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca. A compositional semantics for the reversible pi-calculus. Logic in Computer Science, 2013, New Orleans, United States. pp.388-397, ⟨10.1109/LICS.2013.45⟩. ⟨hal-00840156⟩

Share

Metrics

Record views

306

Files downloads

1051