Trustworthy Systems

On characterising distributability

Authors

Rob van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke-Uffmann

NICTA

UNSW

TU Braunschweig

Abstract

We formalise a general concept of distributed systems as sequential components interacting asynchronously. We define a corresponding class of Petri nets, called LSGA nets, and precisely characterise those system specifications which can be implemented as LSGA nets up to branching ST-bisimilarity with explicit divergence.

BibTeX Entry

  @article{vanGlabbeek_GS_13,
    author           = {van Glabbeek, Robert and Goltz, Ursula and Schicke-Uffmann, Jens-Wolfhard},
    issn             = {1860-5974},
    journal          = {Logical Methods in Computer Science},
    keywords         = {concurrency, petri nets, distributed systems, reactive systems, asynchronous interaction, semantic
                        equivalences.},
    month            = sep,
    number           = {3},
    pages            = {1--58},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/6154.pdf},
    title            = {On Characterising Distributability},
    volume           = {9},
    year             = {2013}
  }

Download