Partial orderings descriptions and observations of nondeterministic concurrent processes (1989)

by P Degano, R De Nicola, U Montanari
Venue:In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, volume 354 of LNCS