Bisimulation Equivalence and Divergence in CCS (1988)

by D J Walker
Venue:In Proceedings of the Third Annual Symposium on Logic in Computer Science