Axiomatising Divergence

Share/Save/Bookmark

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
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