Decidable subsets of CCS (1994)

by S Christensen, Y Hirshfeld, F Moller
Venue:The Computer Journal