On the Complexity of Bisimulation Problems for Basic Parallel Processes.

Richard Mayr

Browse the full ICALP paper archive.