Event structure semantics for nominal calculi

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

Volumn 4137 LNCS, Issue , 2006, Pages 295-309

  Bruni, Roberto ^a   Melgratti, Hernán ^b   Montanari, Ugo ^a  

^a UNIVERSITY OF PISA   (Italy)

^b IMT SCHOOL FOR ADVANCED STUDIES LUCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONCURRENCY CONTROL; CONCURRENT ENGINEERING; DIFFERENTIATION (CALCULUS); GRAPHIC METHODS; MATHEMATICAL MODELS; PETRI NETS;

DOMAIN CONSTRUCTION; EVENT STRUCTURES; GRAPH GRAMMARS; JOIN-CALCULUS; PI-CALCULUS;

SEMANTICS;

EID: 33749574108     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11817949_20     Document Type: Conference Paper

References (24)

1. P. Baldan. Modelling concurrent computations: from contextual Petri nets to graph grammars. PhD thesis, University of Pisa, 2000.
2. P. Baldan, A. Corradini, and B. König. Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. Proc. CONCUR'04, LNCS 3170, pp. 83-98. Springer, 2004.
3. P. Baldan, A. Corradini, and U. Montanari. Contextual Petri nets, asymmetric event structures and processes. Inform. and Comput., 171(1):1-49, 2001.
4. P. Baldan, A. Corradini, U. Montanari, and L. Ribeiro. Concurrency and Nondeterminism in Graph Rewriting: From Graph Grammars to Asymmetric Event Structures and Backwards. Technical Report CS-2005-2, University Ca' Foscari of Venice, 2005.
5. P. Baldan, F. Gadducci, and U. Montanari. Concurrent Semantics for Graph Rewriting with Fusions. Proc. CONCUR'06. This volume.
6. M. Boreale and D. Sangiorgi. A fully abstract semantics for causality in the pi-calculus. Acta Informatica, 35(3):353-400, 1998.
7. A. Corradini, H. Ehrig, M. Löwe, U. Montanari, and J. Padberg. The category of typed graph grammars and its adjunctions with categories of derivations. Proc. TAGT'94, LNCS 1073, pp. 56-74. Springer, 1996.
8. A. Corradini, H. Ehrig, M. Löwe, U. Montanari, F. Rossi. An event structure semantics for graph grammars with parallel productions. Proc. TAGT'94, LNCS 1073, pp.240-256, 1996.
9. A. Corradini, U. Montanari, and F. Rossi. Graph processes. Fund. Inf., 26:241-265, 1996.
10. A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe. Algebraic approaches to graph transformation I: Basic concepts and double pushout approach. In [21].
11. P. Degano and C. Priami. Non-interleaving semantics for mobile processes. Theoret. Comput. Sci.,216(1-2):237-270, 1999.
12. H. Ehrig, R. Heckel, M. Korff, M. Löwe, L. Ribeiro, A. Wagner, A. Corradini. Algebraic approaches to graph transformation 11: SPO approach and comparison with DPO. In [21].
13. C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the Join calculus. In Proc. POPL'96, pp. 372-385. ACM Press, 1996.
14. F. Gadducci. Term Graph Rewriting for the phi-Calculus. In Proc. APLAS'03, LNCS 2895, pp. 37-54. Springer, 2003.
15. F. Gadducci and U. Montanari. A Concurrent Graph Semantics for Mobile Ambients. In Proc. MFPS'01, ENTCS 45. Elsevier, 2001.
16. U. Golz and W. Reisig. The non-sequential behaviour of Petri nets. Information and Control, 57:125-147, 1983.
17. M. Löwe. Algebraic approach to single-pushout graph transformation. Theoret. Comput. Sci., 109:181-224, 1993.
18. J. Meseguer, U. Montanari, and V. Sassone. On the semantics of Place/Transition Petri nets. Mathematical Structures in Computer Science, 7:359-397, 1997.
19. U. Montanari and M. Pistore. Concurent semantics for the π-calculus. ENTCS 1. 1995.
20. M. Nielsen, G. Plotkin, and G. Winskel. Petri Nets, Event Structures and Domains, Part 1. Theoret. Comput. Sci., 13:85-108, 1981.
21. Grzegorz Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation. Vol. 1: Foundations. World Scientific, 1997.
22. G. Schied. On relating Rewriting Systems and Graph Grammars to Event Structures. Proc. Graph Transformations in Computer Science, LNCS 776, pp. 326-340. Springer, 1994.
23. D. Varacca and N. Yoshida. Typed event Structures and the π-calculus. In Proc. MFPS'06.
24. G. Winskel. Event Structures. Advances in Petri Nets'86, LNCS 255, pp. 325-392. 1987.