Denotational semantics of a parallel object-oriented language (1989)

by P America, J de Bakker, J N Kok, J Rutten
Venue:AMST92] [BB90] [BD92] [BDD + 93