Back to Search
Start Over
Axiomatising divergence
- Source :
-
Information & Computation . Dec2005, Vol. 203 Issue 2, p115-144. 30p. - Publication Year :
- 2005
-
Abstract
- 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. [Copyright &y& Elsevier]
Details
- Language :
- English
- ISSN :
- 08905401
- Volume :
- 203
- Issue :
- 2
- Database :
- Academic Search Index
- Journal :
- Information & Computation
- Publication Type :
- Academic Journal
- Accession number :
- 19045837
- Full Text :
- https://doi.org/10.1016/j.ic.2005.05.007