@inproceedings{0c41e5954d5c4b26a9642dc3c0a53a10,
title = "Liveness respecting semantics",
abstract = "In this talk I investigate, in a setting without real-time or probabilities, which semantical equivalences respect liveness properties. Many semantics proposed in the literature do not, which makes them less suitable for verification purposes. In fact, I argue that in interleaving semantics liveness properties are preserved only in the presence of global fairness assumptions. I'll give an overview of the interleaving semantics that respect liveness, and discuss their complexity and equational axiomatizations. When global fairness assumptions are not warranted, non-interleaving semantics are needed to preserve liveness properties in the presence of a parallel composition. I speculate about the possibilities in this regard.",
author = "{van Glabbeek}, R.J.",
year = "2003",
month = nov,
day = "1",
language = "English",
series = "BRICS Notes Series",
publisher = "Basic Research in Computer Science",
pages = "59--63",
editor = "Luca Aceto and {\'E}sik, {Zolt{\'a}n } and Fokkink, {Willem Jan} and Anna Ing{\'o}lfsd{\'o}ttir",
booktitle = "Slide Reprints from the Workshop on Process Algebra: Open Problems and Future Directions PA {\textquoteright}03",
note = "Workshop on Process Algebra: Open Problems and Future Directions, 2003, PA 2003 ; Conference date: 21-07-2003 Through 25-07-2003",
}