A Polynomial-Time Algorithm for Deciding True Concurrency Equivalences of Basic Parallel Processes.

Slawomir Lasota

Browse the full MFCS paper archive.