Principles of Distributed Systems

Invited Talk 1.- Distributing Bits and Atoms.- Invited Talk 2.- Circuits Without Clocks: What Makes Them Tick?.- Invited Talk 3.- Towards Very Large, Self-Managing Distributed Systems.- Distributed and Multiprocessor Algorithms I.- Linear Time Byzantine Self-Stabilizing Clock Synchronization.- Detecting Locally Stable Predicates Without Modifying Application Messages.- Multiple Agents RendezVous in a Ring in Spite of a Black Hole.- Splitters: Objects for Online Partitioning.- Peer-to-Peer Systems, Middleware I.- Partial Replication: Achieving Scalability in Redundant Arrays of Inexpensive Databases.- A Peer-to-Peer Approach to Enhance Middleware Connectivity.- Multicast in Overlay Networks.- Peer-to-Peer Systems, Middleware II.- Real-Time Framework for Distributed Embedded Systems.- Self-Organization Approach of Communities for P2P Networks.- The Role of Software Architecture in Configuring Middleware: The ScalAgent Experience.- Real-Time and Embedded Systems.- dSL: An Environment with Automatic Code Distribution for Industrial Control Systems.- A Lower-Bound Algorithm for Load Balancing in Real-Time Systems.- A Simple Testing Technique for Embedded Systems.- Verification, Models, Performance of Distributed Systems.- Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing.- Transformations for Write-All-with-Collision Model.- Transient Model for Jackson Networks and Its Approximation.- Distributed and Multiprocessor Algorithms II.- Emulating Shared-Memory Do-All Algorithms in Asynchronous Message-Passing Systems.- Acknowledged Broadcasting and Gossiping in Ad Hoc Radio Networks.- Decoupled Interconnection of Distributed Memory Models.

Includes supplementary material: sn.pub/extras