On Graph(ic) Encodings

Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems

计算机科学;物理学

Roberto Bruni ; Ivan Lanese

Others  :  http://drops.dagstuhl.de/opus/volltexte/2005/30/pdf/04241.SWM5.Paper.pdf
PID  :  7276

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

This paper is an informal summary of different encoding techniques from process calculi and distributed formalisms to graphic frameworks. The sur- vey includes the use of solo diagrams, term graphs, synchronized hyperedge re- placement 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.