Foundations of a Theory of Specification for Distributed Systems (1984)

Cached

Download Links

by Eugene William Stark
Citations:13 - 2 self

Documents Related by Co-Citation

193 Specifying concurrent program modules – L Lamport - 1983
159 Proofs of networks of processes – J Misra, K Chandy - 1981
42 Verification of concurrent programs: A temporal proof system – Z Manna, A Pnueli - 1983
1204 The temporal logic of programs – Amir Pnueli - 1977
141 Proving liveness properties of concurrent programs – Susan Owicki, Leslie Lamport - 1982
179 What good is temporal logic – L Lamport
3400 Communicating Sequential Processes – C. A. R. Hoare - 1985
366 Hierarchical correctness proofs for distributed algorithms – Nancy A. Lynch, Mark R. Tuttle - 1987
161 Specification and design of (parallel) programs – Cliff B Jones - 1983
15 Proving Boolean Combinations of Deterministic Properties – Bowen Alpern, Fred B. Schneider - 1987
70 Now you may compose temporal logic specifications – H Barringer, R Kuiper, A Pnueli - 1984
438 The Existence of Refinement Mappings – Martín Abadi, Leslie Lamport - 1988
77 A really abstract concurrent model and its temporal logic – Howard Barringer, Ruurd Kuiper, Amir Pnueli - 1986
806 The Temporal Logic of Actions – Leslie Lamport - 1993
389 Defining liveness – Bowen Alpern, Fred B Schneider - 1985
44 Reducibilityin analysis of coordination – R P Kurshan - 1987
7 Internal Consistency of a Distributed Transaction System With Orphan Detection," MS Thesis, Technical lieport MIT/LCS/TR-286, Mrr Laboratory for Computer Science – John A Goree - 1983
4 Dynamically Modifiable Distributed Systems – N Habermann - 1978
2 Transaction System. forthcoming – Sheng-Yang Chiu