Operational semantics of a parallel object-oriented language
Operational semantics of a parallel object-oriented language / P. America ... [et al.]