A Compositional Semantics for the Reversible p-Calculus

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 th...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science S. 388 - 397
Hauptverfasser:	Cristescu, Ioana, Krivine, Jean, Varacca, Daniele
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.06.2013
Schlagworte:	Calculus compositional Concrete Concurrent computing Context reversible p -calculus scope extrusion Semantics Synchronization Syntactics
ISBN:	1479904139, 9781479904136
ISSN:	1043-6871
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!