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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science s. 388 - 397
Hlavní autori:	Cristescu, Ioana, Krivine, Jean, Varacca, Daniele
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.06.2013
Predmet:	Calculus compositional Concrete Concurrent computing Context reversible p -calculus scope extrusion Semantics Synchronization Syntactics
ISBN:	1479904139, 9781479904136
ISSN:	1043-6871
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!