On Characterising Distributability

Select |




Print


van Glabbeek, Robert; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard

van Glabbeek, Robert; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard


2013-09-17


Journal Article


Logical Methods in Computer Science


9


3


1-58


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.


Concurrency, Petri nets, distributed systems, reactive systems, asynchronous interaction, semantic equivalences.


http://arxiv.org/pdf/1309.3883.pdf


© 2013


English


1860-5974


nicta:6154


van Glabbeek, Robert; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard. On Characterising Distributability. Logical Methods in Computer Science. 2013-09-17; 9(3):1-58.



Loading citation data...

Citation counts
(Requires subscription to view)