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

PDF
Restricted to UT campus only: Request a copy
290Kb

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
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:	http://purl.utwente.nl/publications/63449
Official URL:	http://dx.doi.org/10.1016/j.ic.2005.05.007
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Repository Staff Only: item control page

Metis ID: 233691