Abstract / Description of output
This paper characterises the coarsest refinement preorders on labelled transition systems that are precongruences for renaming and partially synchronous interleaving operators, and respect all safety, liveness, and conditional liveness properties, respectively.
Original language | English |
---|---|
Title of host publication | Theoretical Computer Science: 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings |
Editors | Cristian S. Calude, Vladimiro Sassone |
Place of Publication | Berlin, Heidelberg |
Publisher | Springer |
Pages | 32-52 |
Number of pages | 21 |
ISBN (Electronic) | 978-3-642-15240-5 |
ISBN (Print) | 978-3-642-15239-9 |
DOIs | |
Publication status | Published - 23 Sept 2010 |
Event | The 6th IFIP International Conference on Theoretical Computer Science - Brisbane, Australia Duration: 20 Sept 2010 → 23 Sept 2010 Conference number: 6 |
Publication series
Name | IFIP Advances in Information and Communication Technology |
---|---|
Publisher | Springer Berlin, Heidelberg |
Volume | 323 |
ISSN (Print) | 1868-4238 |
ISSN (Electronic) | 1868-422X |
Conference
Conference | The 6th IFIP International Conference on Theoretical Computer Science |
---|---|
Abbreviated title | TCS 2010 |
Country/Territory | Australia |
City | Brisbane |
Period | 20/09/10 → 23/09/10 |