Abstract / Description of output
Most fairness assumptions used for verifying liveness properties are criticised for being too strong or unrealistic. On the other hand, justness, arguably the minimal fairness assumption required for the verification of liveness properties, is not preserved by classical semantic equivalences, such as strong bisimilarity. To overcome this deficiency, we introduce a finer alternative to strong bisimilarity, called enabling preserving bisimilarity. We prove that this equivalence is justness-preserving and a congruence for all standard operators, including parallel composition.
| Original language | English |
|---|---|
| Title of host publication | 32nd International Conference on Concurrency Theory (CONCUR 2021) |
| Editors | Serge Haddad, Daniele Varacca |
| Place of Publication | Dagstuhl, Germany |
| Publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
| Number of pages | 20 |
| Volume | 203 |
| ISBN (Print) | 978-3-95977-203-7 |
| DOIs | |
| Publication status | Published - 13 Aug 2021 |
| Event | 32nd International Conference on Concurrency Theory - Online, Paris, France Duration: 23 Aug 2021 → 27 Aug 2021 https://qonfest2021.lacl.fr/concur21.php |
Publication series
| Name | Leibniz International Proceedings in Informatics (LIPIcs) |
|---|---|
| Publisher | Schloss Dagstuhl -- Leibniz-Zentrum für Informatik |
| Volume | 203 |
| ISSN (Print) | 1868-8969 |
Conference
| Conference | 32nd International Conference on Concurrency Theory |
|---|---|
| Abbreviated title | CONCUR 2021 |
| Country/Territory | France |
| City | Paris |
| Period | 23/08/21 → 27/08/21 |
| Internet address |
Keywords / Materials (for Non-textual outputs)
- bisimilarity
- liveness properties
- fairness assumptions
- process algebra