Logo del repository
  1. Home
 
Opzioni

Deriving Barbed Bisimulations for Bigraphical Reactive Systems

GROHMANN, Davide
•
MICULAN, Marino
2009
  • journal article

Periodico
ELECTRONIC COMMUNICATIONS OF THE EASST
Abstract
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.
DOI
10.14279/tuj.eceasst.16.254
Archivio
http://hdl.handle.net/11390/879078
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-78649858612
http://journal.ub.tu-berlin.de/eceasst/article/view/254
Diritti
open access
Scopus© citazioni
2
Data di acquisizione
Jun 2, 2022
Vedi dettagli
Visualizzazioni
1
Data di acquisizione
Apr 19, 2024
Vedi dettagli
google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback