Skip to main content
×
×
Home

Graph rewriting for the π-calculus

  • FABIO GADDUCCI (a1)
Abstract

We propose a graphical implementation for (possibly recursive) processes of the π-calculus, encoding each process into a graph. Our implementation is sound and complete with respect to the structural congruence for the calculus: two processes are equivalent if and only if they are mapped into graphs with the same normal form. Most importantly, the encoding allows the use of standard graph rewriting mechanisms for modelling the reduction semantics of the calculus.

Copyright
References
Hide All
Baldan, P., Corradini, A., Ehrig, H., Löwe, M., Montanari, U. and Rossi, F. (1999) Concurrent semantics of algebraic graph transformation. In: Ehrig, H., Kreowski, H.-J., Montanari, U. and Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3, World Scientific 107187.
Baldan, P., Gadducci, F. and Montanari, U. (2006) Concurrent rewriting for graphs with equivalences. In: Baier, C. and Hermanns, H. (eds.) Concurrency Theory. Springer-Verlag Lecture Notes in Computer Science 4137 279–294.
Berry, G. and Boudol, G. (1992) The chemical abstract machine. Theoretical Computer Science 96 217248.
Bonchi, F., Gadducci, F. and König, B. (2006) Process bisimulation via a graphical encoding. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L. and Rozenberg, G. (eds.) Graph Transformation. Springer-Verlag Lecture Notes in Computer Science 4187 168–183.
Bruni, R., Gadducci, F. and Montanari, U. (2002) Normal forms for algebras of connections. Theoretical Computer Science 286 247292.
Caires, L. (2004) Behavioral and spatial observations in a logic for the π-calculus. In: Walukiewicz, I. (ed.) Foundations of Software Science and Computation Structures. Springer-Verlag Lecture Notes in Computer Science 2987 72–87.
Caires, L. and Cardelli, L. (2003). A spatial logic for concurrency (part I). Information and Computation 186 194235.
Căzănescu, V.-E. and Ştefănescu, Gh. (1992) A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization. Theoretical Computer Science 99 163.
Corradini, A. and Gadducci, F. (1999a) An algebraic presentation of term graphs, via gs-monoidal categories. Applied Categorical Structures 7 299331.
Corradini, A. and Gadducci, F. (1999b) Rewriting on cyclic structures: Equivalence between the operational and the categorical description. Informatique Théorique et Applications/Theoretical Informatics and Applications 33 467493.
Corradini, A., Montanari, U. and Rossi, F. (1994) An abstract machine for concurrent modular systems: CHARM. Theoretical Computer Science 122 165200.
Corradini, A., Montanari, U. and Rossi, F. (1996) Graph processes. Fundamenta Informaticae 26 241265.
Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R. and Löwe, M. (1997) Algebraic approaches to graph transformation I: Basic concepts and double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1, World Scientific 163245.
Courcelle, B. (1997) The expression of graph properties and graph transformations in monadic second-order logic. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1, World Scientific 313400.
Drewes, F., Habel, A. and Kreowski, H.-J. (1997) Hyperedge replacement graph grammars. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1, World Scientific 95162.
Ehrig, H. and König, B. (2004) Deriving bisimulation congruences in the DPO approach to graph rewriting. In: Walukiewicz, I. (ed.) Foundations of Software Science and Computation Structures. Springer-Verlag Lecture Notes in Computer Science 2987 151–166.
Fu, Y. (1999) Variations on mobile processes. Theoretical Computer Science 221 327368.
Gadducci, F. (2003) Term graph rewriting and the π-calculus. In: Ohori, A. (ed.) Programming Languages and Semantics. Springer-Verlag Lecture Notes in Computer Science 2895 37–54.
Gadducci, F., Heckel, R. and Llabrés, M. (1999) A bi-categorical axiomatisation of concurrent graph rewriting. In: Hofmann, M., Pavlovič, D. and Rosolini, G. (eds.) Category Theory and Computer Science. Electronic Notes in Theoretical Computer Science 29.
Gadducci, F. and Lluch Lafuente, A. (2006) Graphical verification of a spatial logic for the π-calculus. In: Heckel, R., König, B. and Rensink, A. (eds.) Graph Transformation for Verification and Concurrency. Electronic Notes in Theoretical Computer Science 154.
Gadducci, F. and Lluch Lafuente, A. (2007) Graphical encoding of a spatial logic for the π-calculus. In: Montanari, U. and Mossakowski, T. (eds.) Algebra and Coalgebra in Computer Science. Springer-Verlag Lecture Notes in Computer Science (to appear).
Gadducci, F. and Montanari, U. (2001) A concurrent graph semantics for mobile ambients. In: Brookes, S. and Mislove, M. (eds.) Mathematical Foundations of Programming Semantics. Electronic Notes in Theoretical Computer Science 45.
Gadducci, F. and Montanari, U. (2002) Comparing logics for rewriting: Rewriting logic, action calculi and tile logic. Theoretical Computer Science 285 319358.
Gadducci, F. and Montanari, U. (2005) Observing reductions in nominal calculi via a graphical encoding of processes. In: Middeldorp, A.van Oostrom, V., van Raamsdonk, F. and de Vrijer, R. C. (eds.) Processes, terms and cycles (Klop Festschrift). Springer-Verlag Lecture Notes in Computer Science 3838 106–126.
Goguen, J. and Meseguer, J. (1992) Order sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science 105 217273.
König, B. (1999) Generating type systems for process graphs. In: Baeten, J. C. M. and Mauw, S. (eds.) Concurrency Theory. Springer-Verlag Lecture Notes in Computer Science 1664 352–367.
Laneve, C., Parrow, J. and Victor, B. (2001) Solo diagrams. In: Kobayashi, N. and Pierce, B. (eds.) Theoretical Aspects of Computer Science. Springer-Verlag Lecture Notes in Computer Science 2215 127–144.
Leifer, J. and Milner, R. (2000) Deriving bisimulation congruences for reactive systems. In: Palamidessi, C. (ed.) Concurrency Theory. Springer-Verlag Lecture Notes in Computer Science 1877 243–258.
Milner, R. (1989) Communication and Concurrency, Prentice Hall.
Milner, R. (1993) The polyadic π-calculus: A tutorial. In: Bauer, F. L., Brauer, W. and Schwichtenberg, H. (eds.) Logic and Algebra of Specification. Nato ASI Series F 94 203–246.
Milner, R. (2001) Bigraphical reactive systems. In: Larsen, K.G. and Nielsen, M. (eds.) Concurrency Theory. Springer-Verlag Lecture Notes in Computer Science 2154 16–35.
Montanari, U., Pistore, M. and Rossi, F. (1999) Modeling concurrent, mobile and coordinated systems via graph transformations: Concurrency, parallellism, and distribution. In: Ehrig, H., Kreowski, H.-J., Montanari, U. and Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3, World Scientific 189268.
Plotkin, G. (1981) A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University.
Plump, D. (2005) Confluence of graph transformation revisited. In: Middeldorp, A., van Oostrom, V., van Raamsdonk, F. and de Vrijer, R. C. (eds.) Processes, terms and cycles (Klop Festschrift). Springer-Verlag Lecture Notes in Computer Science 3838 280–308.
Sangiorgi, S. and Walker, D. (2001) The π-calculus: A Theory of Mobile Processes, Cambridge University Press.
Yoshida, N. (1994) Graph notation for concurrent combinators. In: Ito, T. and Yonezawa, A. (eds.) Theory and Practice of Parallel Programming. Springer-Verlag Lecture Notes in Computer Science 907 393–412.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Mathematical Structures in Computer Science
  • ISSN: 0960-1295
  • EISSN: 1469-8072
  • URL: /core/journals/mathematical-structures-in-computer-science
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 12 *
Loading metrics...

Abstract views

Total abstract views: 85 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 24th May 2018. This data will be updated every 24 hours.