Title: A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes
First published: 1994
Subjects: Parallel processing (Electronic computers), Algorithms, Polynomials