Bisimulation Equivanlence Is Decidable for Normed Process Algebra.

Yoram Hirshfeld, Mark Jerrum

Browse the full ICALP paper archive.