Distributed Systems

---

Table of Contents

• Abstract Communication
• Bakery Algorithm
  • Partially-Ordered Runs and Bakery
  • Real-Time Refinements
• Broy/Lamport Problem
• Communicating Evolving Algebras
• Equivalence
• Grid Computing
• Group Membership Protocol
• Java: Montage Static & Dynamic Semantics
• Kermit File-Transfer Protocol
• Mobile Systems
• Occam
  • Occam and Transputer
• PVM
  • Full Version
  • Extended Abstract
• Railroad Crossing Problem
  • Model Checking and Railroad Crossing
  • Continuous Time Logic
  • Verification of Timed Algorithms (survey)
• Termination Detection
• Interfacing ASM with the MDG Tool