Axiomatising Divergence


Share/Save/Bookmark

Lohrey, M. and D'Argenio, P.R. and Hermanns, H. (2002) Axiomatising Divergence. In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002 (pp. pp. 585-596).

open access
[img]
Preview
PDF
200kB
Abstract:This paper develops sound and complete axiomatisations for the divergence sensitive spectrum of weak bisimulation equivalence. The axiomatisations can be extended to a considerable fragment of the linear time - branching time spectrum with silent moves, partially solving an open problem posed in [5].
Item Type:Conference or Workshop Item
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/66285
Official URL:http://link.springer.de/link/service/series/0558/bibs/2380/23800585.htm
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page