Principles of Distributed Systems [electronic resource] : 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers /

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.