Adhesivity, Bigraphs and Bisimulation Congruences

Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems

计算机科学;物理学

Pawe l Soboci´nski

Others  :  http://drops.dagstuhl.de/opus/volltexte/2005/28/pdf/04241.SWM2.Paper.pdf
PID  :  7277

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

来源: CEUR

【 摘 要 】

This paper is intended as a short informal summary of some of the topics which arose at the Dagstuhl meeting held 6/06/04-11/06/04. In particular, we shall summarise some of the content of talks by H. Ehrig [1], F. Gadducci [2], O. H. Jensen [3], R. Milner [4], B. König [5], V. Sassone [6] and the author [7]. The general areas include adhesive categories and generalisations, contextual labelled transition semantics for graph transformation systems via borrowed-contexts and GIPOs, and bigraphs. We shall conclude with a summary of some of the discussions which followed the aforementioned presentations.