Paris C. Kanellakis Scott A. Smolka CCS Expressions, Finite State Processes, and Three Problems of Equivalence 43-68 Inf. Comput. May 1990 86 1 db/journals/iandc/iandc86.html#KanellakisS90