Axiomatising Divergence

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

    Research output: Contribution to journalArticleAcademicpeer-review

    12 Citations (Scopus)
    22 Downloads (Pure)

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

    Keywords

    • Process algebra
    • Axiomatisation
    • Divergence

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

    Cite this