Location of Repository

A compositional semantics for the reversible pi-calculus

By Ioana Domnina Cristescu, Jean Krivine and Daniele Varacca

Abstract

International audienceWe 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

Topics: [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Publisher: HAL CCSD
Year: 2013
DOI identifier: 10.1109/LICS.2013.45
OAI identifier: oai:HAL:hal-00840156v1
Provided by: Hal-Diderot

Suggested articles

Preview


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.