Bisimulation and divergence in CCS (1988)

by D J Walker
Venue:Proc. IEEE Symp. Logic in Computer Science