 |
 |
 |
van Glabbeek, Rob and Luttik, Bas and Spaninks, Linda - 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)2020Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
Authors: van Glabbeek, Rob and Luttik, Bas and Spaninks, Linda
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.
Source : oai:arXiv.org:1801.01180
Volume: Volume 16, Issue 3
Published on: August 28, 2020
Submitted on: September 17, 2019
Keywords: Computer Science - Logic in Computer Science,F.3.2
Consultation statistics
This page has been seen 145 times.
This article's PDF has been downloaded 88 times.