Axiomatising Divergence
| Title | Axiomatising Divergence |
| Publication Type | Conference Paper |
| Year of Publication | 2002 |
| Authors | Lohrey, M, D'Argenio, PR, Hermanns, H |
| Editor | Widmayer, P, Ruiz, FT, Bueno, RM, Hennessy, M, Eidenbenz, S, Conejo, R |
| Conference Name | Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings |
| ISBN Number | 3-540-43864-5 |
| Abstract | This paper develops sound and complete axiomatisations for the divergence sensitive spectrum of weak bisimulation equivalence. The axiomatisations can be extended to a considerable fragment of the linear time -- branching time spectrum with silent moves, partially solving an open problem posed in van Glabbeek second spectrum. |
| DOI | 10.1007/3-540-45465-9_50 |
PDF (Full text):
