CCS Expressions, Finite State Processes, and THree Problems of Equivalence.

Paris C. Kanellakis, Scott A. Smolka

Browse the full PODC paper archive.