Decidability and Decomposition in Process Algebras (1993)

by S Christensen