Axiomatising Divergence


Lohrey, M. and D'Argenio, P.R. and Hermanns, H. (2005) Axiomatising Divergence. Information and Computation, 203 (2). pp. 115-144. ISSN 0890-5401

[img] PDF
Restricted to UT campus only
: Request a copy
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 phenomen along the execution leads to different divergent sensitive semantics. This paper develops sound and complete axiomatisations for the divergence sen- sitive spectrum of weak bisimulation equivalence. The axiomatisations separates the axioms concerning recursion and those that capture the essence of diverging behaviour.
Item Type:Article
Copyright:© 2006 Elsevier
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 233691