The Existence of Refinement Mappings

The Existence of Refinement Mappings (1988)

Cached

Download Links

by Martín Abadi , Leslie Lamport

Citations:

BibTeX

@MISC{Abadi88theexistence,
    author = {Martín Abadi and Leslie Lamport},
    title = { The Existence of Refinement Mappings},
    year = {1988}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

350	Hierarchical correctness proofs for distributed algorithms - Lynch, Tuttle - 1987
287	An Axiomatic Proof Technique for Parallel Programs I - Owicki, Gries - 1976
274	Proving the Correctness of Multiprocess Programs - Lamport - 1977
178	Specifying concurrent program modules - Lamport - 1983
145	Recognizing safety and liveness - Alpern, Schneider - 1987
112	Fundamental Algorithms, volume 1 of The Art of Computer Programming - Knuth - 1997
80	Linearizable concurrent objects - Herlihy, Wing - 1988
61	Protocol verification via projection - Lam, Shankar - 1984
44	Verification of concurrent programs: The automata-theoretic framework - Vardi - 1987
28	Compositional Verification of Distributed Systems - Jonsson - 1987
28	Specification and verification of concurrent programs by 8automata - Manna, Pnueli - 1987
15	Proving boolean combinations of deterministic properties - Alpern, Schneider - 1987
14	Proving entailment between conceptual state specifications - Stark - 1988
6	Protocol Veri cation via Projections - Lam, Shankar - 1984
5	Compositional Veri cation of Distributed Systems - Jonsson - 1987
3	Speci cation and veri cation of concurrent programs by 8-automata - Manna, Pnueli - 1987
3	Veri cation of concurrent programs: The automata-theoretic framework - Vardi - 1987
2	Protocol veri�cation via projections - Lam, Shankar - 1984
2	Speci�cation and veri�cation of concurrent programs by 8-automata - Manna, Pnueli - 1987
1	Completeness Theorems for Automata. SpringerVerlag Lecture Notes in Computer Science, to appear - Merritt - 1989
1	The projection from states onto their external components, 7 The projection from states that eliminates theX component, 20 A set of states, 7 A set of externally visible states, 7 A set of internal states, 7 ! The set of all in nite sequences of elements - unknown authors