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 [5]. © 2002 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Lohrey, M., D’Argenio, P. R., & Hermanns, H. (2002). Axiomatising divergence. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2380 LNCS, pp. 585–596). Springer Verlag. https://doi.org/10.1007/3-540-45465-9_50
Mendeley helps you to discover research relevant for your work.