Compositional checking of validity on finite state processes (1990)

by G Winskel
Venue:In Workshop on Theories of Communication, CONCUR, volume 458 of LNCS