DMCA

Process Algebra, CCS, and Bisimulation Decidability (1994)

by Seth Kulick