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 |
---|---|
Title of host publication | Foundations of Software Science and Computational Structures |
Editors | Lars Birkedal |
Place of Publication | Berlin, Heidelberg |
Publisher | Springer |
Pages | 331-345 |
Number of pages | 15 |
ISBN (Electronic) | 978-3-642-28729-9 |
ISBN (Print) | 978-3-642-28728-2 |
DOIs | |
Publication status | Published - 1 Apr 2012 |
Event | The 15th International Conference on Foundations of Software Science and Computation Structures, 2012 - Tallinn, Estonia Duration: 28 Mar 2012 → 30 Mar 2012 Conference number: 15 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Berlin, Heidelberg |
Volume | 7213 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | The 15th International Conference on Foundations of Software Science and Computation Structures, 2012 |
---|---|
Abbreviated title | FoSSaCS 2012 |
Country/Territory | Estonia |
City | Tallinn |
Period | 28/03/12 → 30/03/12 |