Projects per year
Abstract / Description of output
This paper provides an adaptation of branching bisimilarity to reactive systems with time-outs. Multiple equivalent definitions are procured, along with a modal characterisation and a proof of its congruence property for a standard process algebra with recursion. The last section presents a complete axiomatisation for guarded processes without infinite sequences of unobservable actions.
| Original language | English |
|---|---|
| Title of host publication | 35th International Conference on Concurrency Theory (CONCUR 2024) |
| Editors | Rupak Majumdar, Alexandra Silva |
| Publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
| Pages | 1-22 |
| Number of pages | 22 |
| Volume | 311 |
| ISBN (Electronic) | 9783959773393 |
| DOIs | |
| Publication status | Published - 29 Aug 2024 |
| Event | 35th International Conference on Concurrency Theory - Calgary, Canada Duration: 9 Sept 2024 → 13 Sept 2024 |
Publication series
| Name | Leibniz International Proceedings in Informatics |
|---|---|
| Publisher | Schloss Dagstuhl – Leibniz-Zentrum für Informatik |
| ISSN (Electronic) | 1868-8969 |
Conference
| Conference | 35th International Conference on Concurrency Theory |
|---|---|
| Abbreviated title | CONCUR 2024 |
| Country/Territory | Canada |
| City | Calgary |
| Period | 9/09/24 → 13/09/24 |
Fingerprint
Dive into the research topics of 'Branching bisimilarity for processes with time-outs'. Together they form a unique fingerprint.Projects
- 1 Active
-
Ensuring Liveness Properties of Distributed Systems with Justness
1/08/22 → 31/08/27
Project: Research