Axiomatising divergence

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

Abstract

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.

Cite

CITATION STYLE

APA

Lohrey, M., D’Argenio, P. R., & Hermanns, H. (2005). Axiomatising divergence. Information and Computation, 203(2), 115–144. https://doi.org/10.1016/j.ic.2005.05.007

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