Table des matiËres
What is a Distributed State? Observations from a top-down view
Long-term Goal
Stepwise Refinement
Example: Two-Phase Commit
Why Refinement?
Bottom-up Treatments
Refinement is top-down
Todayís Focus
Sequential Specifications
Programs
Refinement Rules
Sequential Computation
Sequential2 Composition
Distributed Computation
Two-Phase Commit Again
Composition
Composition
Termination Detection (Francez, Dijkstra)
Firing Squad
Other Remedies
Programs Execute bet. Cuts
Cuts
Sequential Composition Regained
What is a Distributed State?
Why Worry?
Reminder: Two-Phase Commit
Problem & Challenge
Problem & Challenge
Example: Minimum Spanning Tree
Composing MST
Distributed Specifications
Specification Language
High-level programs
Termination Revisited
Forking
Diapositive PPT
Bit Transmission
Forking contíd
Forking & Parallel Composition
Conclusion
A Simple Language of Programs
Constructs and Termination
Distributed Specifications
|