Building Business Objects, Peter Eeles et Oliver Sims

Formal Techniques for Distributed Objects, Components, and Systems, Ahmed Bouajj

Formal Techniques for Distributed Objects, Components, and Systems, Elvira Alber

Formal Techniques for Distributed Objects, Components, and Systems, Christel Bai

New Models for Population Protocols (Synthesis Lectures on Distributed Computing

Distributed Data Management for Grid Computing, Michael Di Stefano

Delta-4: A Generic Architecture for Dependable Distributed Computing, David Powe

Formal Techniques for Distributed Objects, Components, and Systems, Susanne Graf