Compilation and Equivalence of Imperative Objects

Mobile objects as mobile processes

Information and Computation - IFIP TCS2000

Imperative objects as mobile processes

Science of Computer Programming

Aliasing Models for Object Migration

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

Local pi-Calculus at Work: Mobile Objects as Mobile Processes

TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics

An Interpretation of Typed Concurrent Objects in the Blue Calculus

TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics

Asynchronous and deterministic objects

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Compilation and equivalence of imperative objects

Journal of Functional Programming

Active Objects and Distributed Components: Theory and Implementation

Formal Methods for Components and Objects

Asynchronous sequential processes

Information and Computation

Functional Active Objects: Typing and Formalisation

Electronic Notes in Theoretical Computer Science (ENTCS)

Bisimulations for untyped imperative objects

ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems