Abstract
Graph-rewriting has been a growing discipline for over three decades. It grew out of the study of graph grammars, in which – analogously to string and tree grammars – a principal interest was to describe the families of graphs that could be generated from a given set of productions. A fundamental contribution was, of course, the double-pushout construction of Ehrig and his colleagues [4]; it made precise how the left-hand side of a production, or rewriting rule, could be found to occur in a host graph, and how it should then be replaced by the right-hand side. This break-through led to many theoretical developments and many applications. It relies firmly upon the treatment of graphs as objects in a category whose arrows are embedding maps.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. J. ACM 31, 560–599 (1984)
Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)
Cattani, G.L., Leifer, J.J., Milner, R.: Contexts and Embeddings for closed shallow action graphs. University of Cambridge Computer Laboratory, Technical Report 496 (2000) (submitted for publication), Available at http://pauillac.inria.fr/~leifer
Ehrig, H.: Introduction to the theory of graph grammars. In: Ng, E.W., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol. 73, pp. 1–69. Springer, Heidelberg (1979)
Ehrig, H.: Bigraphs meet double pushouts. EATCS Bulletin 78, 72–85 (2002)
Ehrig, H., König, B.: Deriving bisimulation congruences in the DPO approach to graph-rewriting. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol. 2987, pp. 151–156. Springer, Heidelberg (2004)
Gadducci, F., Heckel, R., Llabrës Segura, M.: A bi-categorical axiomatisation of concurrent graph rewriting. In: Proc. 8th Conference on Category Theory in Computer Science (CTCS 1999). Electronic Notes in TCS, vol. 29. Elsevier Science, Amsterdam (1999)
Jensen, O.H., Milner, R.: Bigraphs and mobile processes (revised). Technical Report 580, University of Cambridge Computer Laboratory (2004), Available from http://www.cl.cam.ac.uk/users/rm135
Lawvere, F.W.: Functorial semantics of algebraic theories. Dissertation, Columbia University. Announcement. Proc. Nat. Acad. Sci. 50, 869–873 (1963)
Leifer, J.J., Milner, R.: Deriving bisimulation congruences for reactive systems. In: Proc. CONCUR 2000, 11th International Conference on Concurrency theory, pp. 243–258 (2000), Available at http://pauillac.inria.fr/~leifer
Leifer, J.J., Milner, R.: Transition systems, link graphs and Petri nets. Forthcoming Technical Report, University of Cambridge Computer Laboratory (2004)
Milner, R.: A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)
Petri, C.A.: Kommunicaten mit automaten. Schriften des Institutes für Instrumentelle Mathematik, Bonn (1962)
Sassone, V., Sobocinski, P.: Deriving bisimulation congruences: a 2-categorical approach. Electronic Notes in Theoretical Computer Science 68(2) (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Milner, R. (2005). Embeddings and Contexts for Link Graphs. In: Kreowski, HJ., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds) Formal Methods in Software and Systems Modeling. Lecture Notes in Computer Science, vol 3393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31847-7_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-31847-7_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24936-8
Online ISBN: 978-3-540-31847-7
eBook Packages: Computer ScienceComputer Science (R0)