An imperative object calculus

On subtyping and matching

ACM Transactions on Programming Languages and Systems (TOPLAS)

An actor algebra for specifying distributed systems: The hurried philosophers case study

Concurrent object-oriented programming and petri nets

Objects and classes in Algol-like languages

Information and Computation - FOOL V

Object Calculus and the Object-Oriented Analysis and Design of an Error-Sensitive GIS

Geoinformatica

Modular Statically Typed Multimethods

ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming

Process Algebraic Specification of the New Asynchronous CORBA Messaging Service

ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming

Aliasing Models for Object Migration

Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing