Deriving Barbed Bisimulations for Bigraphical Reactive Systems

  • 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 MWe 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.show moreshow less

Download full text files

Export metadata

  • Export Bibtex
  • Export RIS

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author: Davide Grohmann, Marino Miculan
URN:urn:nbn:de:kobv:83-opus-31253
ISBN:1863-2122
Series (Serial Number):Electronic Communications of the EASST- ECEASST (16/03)
Document Type:Arbeitspapier/Research Paper
Language:English
Date of Publication (online):2011/08/10
Publishing Institution:Technische Universität Berlin
Release Date:2011/08/10
Tag:Bigraphs; barbed bisimulations; mobile ambients; pi-calculus
Note:
http://journal.ub.tu-berlin.de/eceasst/article/view/254
Institutes:Institut für Softwaretechnik und Theoretische Informatik
Dewey Decimal Classification:004 Datenverarbeitung; Informatik
Collection:Volume 16 (2009): International Conference on Graph Transformation 2008 - Doctoral Symposium
Licence (German):License Logo CC BY-NC-SA: Creative Commons-Lizenz: Namensnennung, nicht kommerziell, Weitergabe zu gleichen Bedingungen