Axiomatising divergence

Citations of this article
Mendeley users who have this article in their library.


When a process is capable of executing an unbounded number of non-observable actions it is said to be divergent. Different capabilities of an observer to identify this phenomena along the execution leads to different divergent sensitive semantics. This paper develops sound and complete axiomatisations for the divergence sensitive spectrum of weak bisimulation equivalence. The axiomatisations separates the axioms concerning recursion and those that capture the essence of diverging behaviour. © 2005 Elsevier Inc. All rights reserved.




Lohrey, M., D’Argenio, P. R., & Hermanns, H. (2005). Axiomatising divergence. Information and Computation, 203(2), 115–144.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free