A Compositional Semantics for the Reversible p-Calculus

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2013, Pages 388-397

  Cristescu, Ioana ^a   Krivine, Jean ^a   Varacca, Daniele ^a  

^a UNIVERSITÉ PARIS DESCARTES   (France)

Author keywords

compositional; reversible p calculus; scope extrusion

Indexed keywords

COMPOSITIONAL; COMPOSITIONAL SEMANTICS; LABELLED TRANSITION SEMANTICS; P CALCULUS; REVERSIBLE P -CALCULUS; SYNTACTIC FEATURES;

COMPUTATION THEORY; EXTRUSION; SEMANTICS;

CALCULATIONS;

EID: 84883411200     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.2013.45     Document Type: Conference Paper

References (22)

1. R. Landauer, "Irreversibility and heat generation in the computing process, " IBM Journal of Research and Development, vol. 5, pp. 183-191, 1961.
2. L. Bougé, "On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes, " Acta Inf., vol. 25, no. 2, pp. 179-201, 1988.
3. C. Palamidessi, "Comparing the expressive power of the synchronous and asynchronous pi-calculi, " Mathematical Structures in Computer Science, vol. 13, no. 5, pp. 685-719, 2003.
4. R. D. Nicola, U. Montanari, and F. Vaandrager, "Back and forth bisimulations, " in Proceedings of CONCUR'90, ser. LNCS, vol. 458, 1990, pp. 152-165.
5. V. Danos and J. Krivine, "Transactions in RCCS, " in In Proc. of CONCUR, LNCS 3653. Springer, 2005, pp. 398-412.
6. V. Danos and J. Krivine, "Reversible communicating systems, " in Proceedings of 15th CONCUR, ser. Lecture Notes in Computer Science, vol. 3170. Springer, 2004, pp. 292-307.
7. I. Phillips and I. Ulidowski, "Reversing algebraic process calculi, " in Proceedings of FOSSAC'06, ser. LNCS, vol. 3921, 2006, pp. 246-260.
8. I. Phillips and I. Ulidowski, "Reversibility and models for concurrency, " Electr. Notes Theor. Comput. Sci., vol. 192, no. 1, pp. 93-108, 2007, proceedings of SOS 2007.
9. I. Lanese, C. A. Mezzina, and J.-B. Stefani, "Reversing higher-order pi, " in Proceedings of 21st CONCUR, ser. Lecture Notes in Computer Science, vol. 6269. Springer, 2010, pp. 478-493.
10. M. Boreale and D. Sangiorgi, "A fully abstract semantics for causality in the -calculus, " Acta Inf., vol. 35, no. 5, pp. 353-400, 1998.
11. P. Degano and C. Priami, "Non-interleaving semantics for mobile processes. " Theor. Comp. Sci., vol. 216, no. 1-2, pp. 237-270, 1999.
12. S. Crafa, D. Varacca, and N. Yoshida, "Event structure semantics of the parallel extrusion in the pi-calculus, " in Proceedings of 15TH FOSSACS, ser. Lecture Notes in Computer Science, vol. 7213. Springer, 2012, pp. 225-239.
13. D. Sangiorgi and D. Walker, The -calculus. Cambridge University Press, 2002.
14. J.-J. Lévy, "Réduction optimales en -calcul, " Ph. D. dissertation, Université Paris 7, 1978.
15. G. Boudol and I. Castellani, "Permutation of transitions: An event structure semantics for CCS and SCCS. " in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, ser. LNCS, vol. 354, 1989, pp. 411-427.
16. P. Darondeau and P. Degano, "Causal trees, " in Proceedings of ICALP'89, ser. LNCS, vol. 372, 1989, pp. 234-248.
17. G. Boudol, I. Castellani, M. Hennesy, and A. Kiehn, "A theory of processes with localities, " Formal Aspect of Computing, 1992.
18. I. Castellani, "Observing distribution in processes: Static and dynamic localities, " International Journal of Foundations of Computer Science, vol. 6, no. 4, pp. 353-393, 1995. [Online]. Available: citeseer. ist. psu. edu/castellani94observing. html
19. J. J. Leifer and R. Milner, "Deriving bisimulation congruences for reactive systems, " in Proceedings of CONCUR, ser. Lecture Notes in Computer Science, vol. 1877. Springer, 2000.
20. P. D. Gianantonio, F. Honsell, and M. Lenisa, "Finitely branching labelled transition systems from reaction semantics for process calculi, " in WADT, ser. Lecture Notes in Computer Science, A. Corradini and U. Montanari, Eds., vol. 5486. Springer, 2008, pp. 119-134.
21. J. Krivine, "Algebres de processus réversibles, " Ph. D. dissertation, Université Paris 6 & INRIA-Rocquencourt, 2006.
22. J. Feret, "Confidentiality analysis of mobile systems, " in Seventh International Static Analysis Symposium (SAS'00), ser. LNCS, no. 1824. Springer-Verlag, 2000.