Abstract / Description of output
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same ``AGEF'' properties: temporal logic properties saying that reaching a desired outcome is not doomed to fail. We show that this equivalence, with an added root condition, is the coarsest congruence containing weak bisimilarity with explicit divergence that respects deadlock/livelock traces (or fair testing, or any liveness property under a global fairness assumption) and assigns unique solutions to recursive equations.
Original language | English |
---|---|
Title of host publication | CONCUR 2006 -- Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 |
Editors | Christel Baier, Holger Hermanns |
Place of Publication | Heidelberg |
Publisher | Springer |
Pages | 126-141 |
Number of pages | 16 |
ISBN (Electronic) | 978-3-540-37377-3 |
ISBN (Print) | 978-3-540-37376-6 |
DOIs | |
Publication status | Published - 30 Aug 2006 |
Event | The 17th International Conference on Concurrency Theory, 2006 - Bonn, Germany Duration: 27 Aug 2006 → 30 Aug 2006 Conference number: 17 https://depend.cs.uni-saarland.de/index.php?id=377 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Berlin, Heidelberg |
Volume | 4137 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | The 17th International Conference on Concurrency Theory, 2006 |
---|---|
Abbreviated title | CONCUR 2006 |
Country/Territory | Germany |
City | Bonn |
Period | 27/08/06 → 30/08/06 |
Internet address |