04241 Abstracts Collection Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems

Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems

计算机科学;物理学

Barbara König ; Ugo Montanari ; Philippa Gardner

Others  :  http://drops.dagstuhl.de/opus/volltexte/2005/27/pdf/04241.SWM1.Paper.pdf
PID  :  10109

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

来源: CEUR

【 摘 要 】

Recently there has been a lot of research, combining concepts of process algebrawith those of the theory of graph grammars and graph transformation systems.Both can be viewed as general frameworks in which one can specify and reasonabout concurrent and distributed systems. There are many areas where both theoriesoverlap and this reaches much further than just using graphs to give a graphicrepresentation to processes. [First Paragraph]