Operational semantics of a parallel object-oriented language (1986)

by P America, J de Bakker, J N Kok, J Rutten
Venue:In Conference Record of the 13th ACM Symposium on Principles of Programming Languages (POPL’86