Axiomatising divergence

Authors:
Markus Lohrey;Pedro R. D'Argenio;Holger Hermanns
Affiliations:
Institut für Formale Methoden der Informatik, Universität Stuttgart, Universitätsstr., Stuttgart, Germany;CONICET - FaMAF, Univ. Nacl. de Córdoba, Ciudad Univ., Córdoba, Argentina and Univ. of Twente, Dept. of Comp. Sci., AE Enschede, The Netherlands and Lab. d'Informatique Foundementelle, C ...;Universität des Saarlandes, Saarbrüecken, Germany and University of Twente, Department of Computer Science, AE Enschede, The Netherlands
Venue:
Information and Computation
Year:
2005

Citing 11
Cited 1

A Theory of Communicating Sequential Processes

Journal of the ACM (JACM)
A complete axiomatisation for observational congruence of finite-state behaviours

Information and Computation
Bisimulation and divergence

Information and Computation
Process algebra

Process algebra
Termination, deadlock, and divergence

Journal of the ACM (JACM)
Branching time and abstraction in bisimulation semantics

Journal of the ACM (JACM)
Communication and Concurrency

Communication and Concurrency
Handbook of Process Algebra

Handbook of Process Algebra
A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours

MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
Axiomatising Divergence

ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
The Linear Time - Branching Time Spectrum II

CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory

Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

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.