Inproceedings,

Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences.

.
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, volume 04241 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2004)

Meta data

Tags

Users

  • @dblp

Comments and Reviews