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

Full description

Saved in:

Bibliographic Details
Published in:	2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science pp. 388 - 397
Main Authors:	Cristescu, Ioana, Krivine, Jean, Varacca, Daniele
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.06.2013
Subjects:	Calculus compositional Concrete Concurrent computing Context reversible p -calculus scope extrusion Semantics Synchronization Syntactics
ISBN:	1479904139, 9781479904136
ISSN:	1043-6871
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!