A Polynomial-Time Algorithm for Deciding Bisimulation Equivalence of Normed Basic Parallel Processes

Yoram Hirshfeld, Mark Jerrum, Faron Moller. A Polynomial-Time Algorithm for Deciding Bisimulation Equivalence of Normed Basic Parallel Processes. Mathematical Structures in Computer Science, 6(3):251-259, 1996.

Abstract

Abstract is missing.