Axiomatising Divergence

Markus Lohrey, Pedro R. d' Argenio, Holger Hermanns

    Research output: Contribution to journalArticleAcademicpeer-review

    17 Citations (Scopus)
    23 Downloads (Pure)


    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.
    Original languageEnglish
    Pages (from-to)115-144
    Number of pages30
    JournalInformation and computation
    Issue number2
    Publication statusPublished - 2005


    • Process algebra
    • Axiomatisation
    • Divergence


    Dive into the research topics of 'Axiomatising Divergence'. Together they form a unique fingerprint.
    • Axiomatising Divergence

      Lohrey, M., d' Argenio, P. R. & Hermanns, H., 2002, Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings. Widmayer, P., Eidenbenz, S., Triguero, F., Morales, R., Conejo, R. & Hennessy, M. (eds.). Berlin: Springer, p. 585-596 12 p. (Lecture Notes in Computer Science; vol. 2380).

      Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

      9 Citations (Scopus)
      3 Downloads (Pure)

    Cite this