Ccs expressions, finite state processes, and three problems of equivalence (1983)

by P C Kanellakis, S A Smolka
Venue:In PODC