Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
published by Thorsten Wissmann
in 2018
in Informatics Engineering
and research's language is
English
Download
Abstract in English
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.