Uniform abstraction, atomicity and contractions in the comparative semantics of concurrent (1988)

by J W DE BAKKER, J N KOK
Venue:Prolog, in “Proceedings, Fifth Generation Computer Systems 1988 (FGCS 88