Rob van Glabbeek ; Bas Luttik ; Linda Spaninks - Rooted Divergence-Preserving Branching Bisimilarity is a Congruence

lmcs:5768 - Logical Methods in Computer Science, August 28, 2020, Volume 16, Issue 3 - https://doi.org/10.23638/LMCS-16(3:14)2020
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence

Authors: Rob van Glabbeek ; Bas Luttik ; Linda Spaninks

    We prove that rooted divergence-preserving branching bisimilarity is a congruence for the process specification language consisting of nil, action prefix, choice, and the recursion construct.

    https://doi.org/10.23638/LMCS-16(3:14)2020
    Source : oai:arXiv.org:1801.01180
    Volume: Volume 16, Issue 3
    Published on: August 28, 2020
    Accepted on: August 20, 2020
    Submitted on: September 17, 2019
    Keywords: Computer Science - Logic in Computer Science,F.3.2
    Licence: Attribution 4.0 International (CC BY 4.0)

    Export

    BibTeX TEI DC OpenAIRE Crossref DOAJ zbJATS JSON

    Share

    Consultation statistics

    This page has been seen 341 times.
    This article's PDF has been downloaded 200 times.