On Characterising Distributability

Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

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.

Original languageEnglish
Article number17
Number of pages58
JournalLogical Methods in Computer Science
Volume9
Issue number3
DOIs
Publication statusPublished - 17 Sept 2013

Keywords / Materials (for Non-textual outputs)

  • Concurrency
  • Petri nets
  • distributed systems
  • reactive systems
  • asynchronous interaction
  • semantic equivalences

Fingerprint

Dive into the research topics of 'On Characterising Distributability'. Together they form a unique fingerprint.

Cite this