Verification of CCS-processes (1987)

by M Hillerstrom