A modal characterisation of observable machine-behaviour (1981)

by R Milner
Venue:In Proc. CAAP’81, LNCS 112