Walker (1990)

Walker D. (1990)

Pi-calculus semantics of object-oriented programming languages

Report ECS-LFCS-90-122, University of Edinburgh