Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
1 result

Rooted Divergence-Preserving Branching Bisimilarity is a Congruence

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.
Published on August 28, 2020
Volume 16, Issue 3
  • < Previous
  • 1
  • Next >