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
Termination Detection
Interfacing ASM with the MDG Tool

Jim Huggins / huggins@acm.org

URL: http://www.eecs.umich.edu/ealgebras/subjects/dist.html (page only)
last update: Monday, 23-Feb-2009 13:20:36 EST