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

195 Specifying concurrent program modules – L Lamport - 1983
162 Proofs of networks of processes – K M Chandy, J Misra - 1981
41 Pnuelli ; Verification of Concurrent Programs: The temporal proof principles – Zohar Manna, Amir - 1983
1204 The temporal logic of programs – A Pnueli - 1977
144 Proving liveness properties of concurrent programs – S Owicki, L Lamport - 1982
183 What good is temporal logic – L Lamport
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
365 Hierarchical correctness proofs for distributed algorithms – Nancy A. Lynch, Mark R. Tuttle - 1987
163 Specification and design of (parallel) programs – C 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
78 A really abstract concurrent model and its temporal logic – H Barringer, R Kuiper, A Pnueli - 1986
818 The Temporal Logic of Actions – Leslie Lamport - 1993
446 The Existence of Refinement Mappings – Martín Abadi, Leslie Lamport - 1988
391 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