Bisimulation Equivalence is Decidable for Basic Parallel Processes

Søren Christensen, Yoram Hirshfeld, Faron Moller. Bisimulation Equivalence is Decidable for Basic Parallel Processes. In Eike Best, editor, CONCUR 93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings. Volume 715 of Lecture Notes in Computer Science, pages 143-157, Springer, 1993.

Abstract

Abstract is missing.