Event structure semantics of parallel extrusion in the pi-calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7213 LNCS, Issue , 2012, Pages 225-239

  Crafa, Silvia ^a   Varacca, Daniele ^b   Yoshida, Nobuko ^c  

^a UNIVERSITY OF PADOVA   (Italy)

^b CNRS   (France)

^c IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT SEMANTICS; EVENT STRUCTURES; PI CALCULUS; CAUSAL DEPENDENCIES;

CALCULATIONS; SEMANTICS; COMPUTATION THEORY;

EXTRUSION;

EID: 84859140144     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-28729-9_15     Document Type: Conference Paper

References (20)

1. Boreale, M., Sangiorgi, D.: A fully abstract semantics for causality in the π-calculus. Acta Inf. 35(5), 353-400 (1998)
2. Bruni, R., Melgratti, H., Montanari, U.: Event Structure Semantics for Nominal Calculi. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 295-309. Springer, Heidelberg (2006)
3. Busi, N., Gorrieri, R.: A Petri Net Semantics for Pi-Calculus. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol. 962, pp. 145-159. Springer, Heidelberg (1995)
4. Cattani, G.L., Sewell, P.: Models for name-passing processes: Interleaving and causal. In: Proceedings of 15th LICS, pp. 322-332. IEEE (2000)
5. Crafa, S., Varacca, D., Yoshida, N.: Compositional Event Structure Semantics for the Internal Pi-Calculus. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 317-332. Springer, Heidelberg (2007)
6. Danos, V., Krivine, J.: Reversible Communicating Systems. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 292-307. Springer, Heidelberg (2004)
7. Degano, P., De Nicola, R., Montanari, U.: On the consistency of truly concurrent operational and denotational semantics. In: LICS, pp. 133-141. IEEE (1988)
8. Degano, P., Priami, C.: Non-interleaving semantics for mobile processes. Theor. Comp. Sci. 216(1-2), 237-270 (1999)
9. Engelfriet, J.: A multiset semantics for the pi-calculus with replication. Theor. Comp. Sci. 153(1&2), 65-94 (1996)
10. van Glabbeek, R.J., Plotkin, G.D.: Configuration structures, event structures and petri nets. Theor. Comput. Sci. 410(41), 4111-4159 (2009)
11. Jagadeesan, L.J., Jagadeesan, R.: Causality and True Concurrency: A Data-Flow Analysis of the Pi-Calculus. In: Alagar, V.S., Nivat, M. (eds.) AMAST 1995. LNCS, vol. 936, pp. 277-291. Springer, Heidelberg (1995)
12. Lanese, I., Mezzina, C.A., Stefani, J.: Reversing Higher-Order Pi. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 478-493. Springer, Heidelberg (2010)
13. Montanari, U., Pistore, M.: Concurrent semantics for the pi-calculus. Electr. Notes Theor. Comput. Sci. 1, 411-429 (1995), Proceedings of MFPS 1995
14. Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, part I. Theor. Comp. Sci. 13(1), 85-108 (1981)
15. Phillips, I., Ulidowski, I.: Reversibility and models for concurrency. Electr. Notes Theor. Comput. Sci. 192(1), 93-108 (2007), Proceedings of SOS 2007
16. Sangiorgi, D.: Locality and True-Concurrency in Calculi for Mobile Processes. In: Hagiya, M., Mitchell, J.C. (eds.) TACS 1994. LNCS, vol. 789, pp. 405-424. Springer, Heidelberg (1994)
17. Varacca, D., Yoshida, N.: Typed event structures and the linear pi-calculus. Theor. Comput. Sci. 411(19), 1949-1973 (2010)
18. Winskel, G.: Event Structure Semantics for CCS and Related Languages. In: Nielsen, M., Schmidt, E.M. (eds.) ICALP 1982. LNCS, vol. 140, pp. 561-576. Springer, Heidelberg (1982)
19. Winskel, G.: Event Structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 255, pp. 325-392. Springer, Heidelberg (1987)
20. Winskel, G., Nielsen, M.: Models for concurrency. In: Handbook of Logic in Computer Science, vol. 4. Clarendon Press (1995)