Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
1 result

On Characterising Distributability

Rob J. van Glabbeek ; Ursula Goltz ; Jens-Wolfhard Schicke-Uffmann.
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&nbsp;[&hellip;]
Published on September 17, 2013
Volume 9, Issue 3
  • < Previous
  • 1
  • Next >