Eingang zum Volltext
Lizenz

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:kobv:83-opus-31253
URL: http://opus.kobv.de/tuberlin/volltexte/2011/3125/

Grohmann, Davide ; Miculan, Marino

Deriving Barbed Bisimulations for Bigraphical Reactive Systems

pdf-Format:
Dokument 1.pdf (403 KB)

Kurzfassung in Englisch

We study the definition of a general abstract notion of barbed bisimilarity for reactive systems on bigraphs. More precisely, given a bigraphical reactive system, we define the corresponding barbs from the contextual labels given by the IPO construction, in a general and systematic way. These barbs correspond to observe which names on the interface are actually involved in reactions (and how).
As examples, we apply this construction to the (bigraphical representation of the) pi-calculus and of Mobile Ambients, and compare the resulting barbed equivalences with those previously known for these calculi.

Freie Schlagwörter (englisch): Bigraphs , barbed bisimulations , pi-calculus , mobile ambients
Collection TU Berlin / Zeitschriften / Fakultät IV - Elektrotechnik und Informatik / Electronic Communications of the EASST- ECEASST / Volume 16 (2009): International Conference on Graph Transformation 2008 - Doctoral Symposium
Institut: Institut für Softwaretechnik und Theoretische Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Aufsatz
Schriftenreihe: Electronic Communications of the EASST- ECEASST
Band Nummer: 16/03
ISBN: 1863-2122
Quelle: http://journal.ub.tu-berlin.de/eceasst/article/view/254
Sprache: Englisch
Erstellungsjahr: 2009
Publikationsdatum: 10.08.2011
Lizenz: Standardlizenz: Typ CC by-nc-sa - Namensnennung erforderlich | Kommerziell nein | Weiterbearbeitung nur unter gleichen Bedingungen erlaubt | PoD ja