Denotational Semantics of a Parallel Object-Oriented Language

Information and Computation - United States
doi 10.1016/0890-5401(89)90057-6