Distributed execution of bigraphical reactive systems

@article{Mansutti2014DistributedEO,
  title={Distributed execution of bigraphical reactive systems},
  author={Alessio Mansutti and Marino Miculan and Marco Peressotti},
  journal={ArXiv},
  year={2014},
  volume={abs/1503.02434}
}
  • Alessio Mansutti, Marino Miculan, Marco Peressotti
  • Published in ECEASST 2014
  • Computer Science
  • 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… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    1
    Twitter Mention

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 23 REFERENCES

    Towards distributed bigraphical reactive systems

    • A. Mansutti, M. Miculan, M. Peressotti
    • Proc. GCM’14,
    • 2014
    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    Towards a bigraphical encoding of actors

    VIEW 9 EXCERPTS
    HIGHLY INFLUENTIAL

    Bigactors — A model for structure-aware computation

    VIEW 9 EXCERPTS
    HIGHLY INFLUENTIAL

    Domain-Specific Modelling Languages in Bigraphs

    • G. Perrone
    • PhD thesis, IT University of Copenhagen,
    • 2013
    VIEW 2 EXCERPTS