DocumentCode
626305
Title
A Compositional Semantics for the Reversible p-Calculus
Author
Cristescu, Ioana ; Krivine, Jean ; Varacca, Daniele
Author_Institution
Lab. PPS, Univ. Paris Diderot, Paris, France
fYear
2013
fDate
25-28 June 2013
Firstpage
388
Lastpage
397
Abstract
We introduce a labelled transition semantics for the reversible π-calculus. It is the first account of a compositional 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 π-calculus.
Keywords
pi calculus; compositional definition; compositional semantics; concurrency primitive; labelled transition semantics; name mobility; reversible π-calculus; scope extrusion; syntactic feature; Calculus; Concrete; Concurrent computing; Context; Semantics; Synchronization; Syntactics; compositional; reversible p -calculus; scope extrusion;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on
Conference_Location
New Orleans, LA
ISSN
1043-6871
Print_ISBN
978-1-4799-0413-6
Type
conf
DOI
10.1109/LICS.2013.45
Filename
6571571
Link To Document