A Concurrent Object Calculus: Reduction and Typing

Andrew D. Gordon, Paul D. Hankin. A Concurrent Object Calculus: Reduction and Typing. Electronic Notes in Theoretical Computer Science, 16(3):248-264, 1998. [doi]

Abstract

Abstract is missing.