Axiomatising Divergence

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

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

    9 Citations (Scopus)

    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].
    Original languageEnglish
    Title of host publicationAutomata, Languages and Programming
    Subtitle of host publication29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings
    EditorsPeter Widmayer, Stephan Eidenbenz, Francisco Triguero, Rafael Morales, Ricardo Conejo, Matthew Hennessy
    Place of PublicationBerlin
    PublisherSpringer
    Pages585-596
    Number of pages12
    ISBN (Electronic)978-3-540-45465-6
    ISBN (Print)978-3-540-43864-9
    DOIs
    Publication statusPublished - 2002
    Event29th International Colloquium on Automata, Languages and Programming, ICALP 2002 - Málaga, Spain
    Duration: 8 Jul 200213 Jul 2002
    Conference number: 29

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume2380
    ISSN (Print)0302-9743

    Conference

    Conference29th International Colloquium on Automata, Languages and Programming, ICALP 2002
    Abbreviated titleICALP
    Country/TerritorySpain
    CityMálaga
    Period8/07/0213/07/02

    Keywords

    • FMT-PA: PROCESS ALGEBRAS
    • FMT-SEMANTICS

    Cite this