Observing processes (1989)

by Matthew Hennessy
Venue:REX Workshop 1988, LNCS 354