2026-07-20T00:59:14Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:30 2024-03-06T11:05:48Z ddc:004 open_access

Summary 3: On Graph(ic) Encodings Bruni, Roberto Lanese, Ivan graph transformation process calculi encodings This paper is an informal summary of different encoding techniques from process calculi and distributed formalisms to graphic frameworks. The survey includes the use of solo diagrams, term graphs, synchronized hyperedge replacement systems, bigraphs, tile models and interactive systems, all presented at the Dagstuhl Seminar 04241. The common theme of all techniques recalled here is having a graphic presentation that, at the same time, gives both an intuitive visual rendering (of processes, states, etc.) and a rigorous mathematical framework. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Roberto Bruni and Ivan Lanese 2005 Is Part Of Dagstuhl Seminar Proceedings, Volume 4241, Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems (2005) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.04241.4 urn:nbn:de:0030-drops-303 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04241.4 eng https://creativecommons.org/licenses/by/4.0/legalcode