Skip to main content

Rooted divergence-preserving branching bisimilarity is a congruence

Authors

Rob van Glabbeek, Bas Luttik and Linda Spaninks

DATA61

Eindhoven University of Technology

UNSW Sydney

Abstract

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.

BibTeX Entry

  @article{vanGlabbeek_LS_20,
    author           = {van Glabbeek, Rob and Luttik, Bas and Spaninks, Linda},
    doi              = {https://doi.org/10.23638/LMCS-16(3:14)2020},
    month            = aug,
    date             = {2020-8-28},
    year             = {2020},
    keywords         = {Process algebra; Recursion; Branching bisimulation; Divergence; Congruence.},
    title            = {Rooted Divergence-Preserving Branching Bisimilarity is a Congruence},
    pages            = {14:0-14;16},
    volume           = {16},
    journal          = {Logical Methods in Computer Science},
    paperurl         = {https://ts.data61.csiro.au/publications/csiro_full_text//vanGlabbeek_LS_20.pdf},
    issue            = {3},
    publisher        = {Logical Methods in Computer Science}
  }

Download

Served by Apache on Linux on seL4.