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: 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)

    1 Document citing this article

    Share and export

    Consultation statistics

    This page has been seen 746 times.
    This article's PDF has been downloaded 231 times.