• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

The Existence of Refinement Mappings (1988)

Cached

  • Download as a PDF

Download Links

  • [www.research.digital.com]
  • [ftp.digital.com]
  • [pa.bell-labs.com]
  • [gatekeeper.dec.com]
  • [research.microsoft.com]
  • [www.ee.technion.ac.il]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Martín Abadi , Leslie Lamport
Citations:409 - 24 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

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

Years of Citing Articles

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

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
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University