On Characterising Distributability
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann · Logical Methods in Computer Science · 2013
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.