Logo del repository
  1. Home
 
Opzioni

Distributed execution of bigraphical reactive systems

Mansutti, Alessio
•
MICULAN, Marino
•
PERESSOTTI, Marco
2015
  • journal article

Periodico
ELECTRONIC COMMUNICATIONS OF THE EASST
Abstract
The bigraph embedding problem is crucial for many results and tools about bigraphs and bigraphical reactive systems (BRS). Current algorithms for computing bigraphical embeddings are centralized, i.e. designed to run locally with a complete view of the guest and host bigraphs. In order to deal with large bigraphs, and to parallelize reactions, we present a decentralized algorithm, which distributes both state and computation over several concurrent processes. This allows for distributed, parallel simulations where non-interfering reactions can be carried out concurrently; nevertheless, even in the worst case the complexity of this distributed algorithm is no worse than that of a centralized algorithm.
DOI
10.14279/tuj.eceasst.71.994.988
Archivio
http://hdl.handle.net/11390/1069335
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85042660614
http://journal.ub.tu-berlin.de/eceasst/article/view/994
Diritti
open access
Scopus© citazioni
5
Data di acquisizione
Jun 7, 2022
Vedi dettagli
Visualizzazioni
7
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