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 language | English |
---|---|
Article number | 17 |
Number of pages | 58 |
Journal | Logical Methods in Computer Science |
Volume | 9 |
Issue number | 3 |
DOIs | |
Publication status | Published - 17 Sept 2013 |
Keywords / Materials (for Non-textual outputs)
- Concurrency
- Petri nets
- distributed systems
- reactive systems
- asynchronous interaction
- semantic equivalences