NICTA
UNSW
TU Braunschweig
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.
@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} }