Abstracting Services in a Heterogeneous Environment

On understanding types, data abstraction, and polymorphism

ACM Computing Surveys (CSUR) - The MIT Press scientific computation series

On including part hierarchies in object-oriented languages, with an implementation in Smalltalk

European conference on object-oriented programming on ECOOP '87

Contracts: specifying behavioral compositions in object-oriented systems

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications

Toward a method of object-oriented concurrent programming

Communications of the ACM

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software

Roles: conceptual abstraction theory and practical language issues

Theory and Practice of Object Systems - Special issue on subjectivity in object-oriented systems

Specification matching of software components

ACM Transactions on Software Engineering and Methodology (TOSEM)

A Formal Specification Framework for Object-Oriented Distributed Systems

IEEE Transactions on Software Engineering

Enterprise JavaBeans, Second Edition

Enterprise JavaBeans, Second Edition

Garf: A Tool for Programming Reliable Distributed Applications

IEEE Parallel & Distributed Technology: Systems & Technology

Software-Based Replication for Fault Tolerance

Computer

Type Management: A Key to Software Reuse in Open Distributed Systems

EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing

Encapsulating Plurality

ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming

Meta-level Programming with CodA

ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming

Coordinating Distributed Objects with Declarative Interfaces

COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models