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
41 Pnuelli ; Verification of Concurrent Programs: The temporal proof principles – Zohar Manna, Amir - 1983
1194 The temporal logic of programs – A Pnueli - 1977
141 Proving liveness properties of concurrent programs – Susan Owicki, Leslie Lamport - 1982
179 What good is temporal logic – L Lamport
3388 Communicating Sequential Processes – C. A. R. Hoare - 1985
365 Hierarchical correctness proofs for distributed algorithms – Nancy A. Lynch, Mark R. Tuttle - 1987
160 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
805 The Temporal Logic of Actions – Leslie Lamport - 1993
438 The Existence of Refinement Mappings – Martín Abadi, Leslie Lamport - 1988
387 Defining Liveness – Bowen Alpern, Fred B Schneider - 1985
77 A really abstract concurrent model and its temporal logic – Howard Barringer, Ruurd Kuiper, Amir Pnueli - 1986
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