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

Podrobná bibliografie

Vydáno v:	2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science s. 388 - 397
Hlavní autoři:	Cristescu, Ioana, Krivine, Jean, Varacca, Daniele
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.06.2013
Témata:	Calculus compositional Concrete Concurrent computing Context reversible p -calculus scope extrusion Semantics Synchronization Syntactics
ISBN:	1479904139, 9781479904136
ISSN:	1043-6871
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!