Søren Christensen, Yoram Hirshfeld, Faron Moller. Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes. In Proceedings, Eighth Annual IEEE Symposium on Logic in Computer Science, 19-23 June 1993, Montreal, Canada. pages 386-396, IEEE Computer Society, 1993.
Abstract is missing.