MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Universiteit Utrecht

Download:
Download as a PDF | Download as a PS
by Frank S. De Boer, Maurizio Gabbrielli, Elena Marchiori
http://www.disi.unige.it/person/PalamidessiC/papers/Correttezza/TOPLAS/bgmp97toplas.ps
Add To MetaCart

Abstract:

fl store-as-valuation

Citations

390 PVS: A prototype verification system – Owre, Shankar, et al. - 1992
257 An Axiomatic Proof Technique for Parallel Programs I – Owicki, Gries - 1976
39 Ten Years of Hoare's Logic: A Survey---Part I – Apt - 1981
31 A proof technique for communicating sequential processes – Levin, Gries - 1981
24 P-A logic: a compositional proof system for distributed programs – Pandya, Joseph - 1991
11 The failure of failures: Towards a paradigm for asynchronous communication – Boer, Kok, et al. - 1991
8 Formal justification of a proof system for Communicating Sequential Processes – Apt - 1983
7 A Proof Theory for Asynchronously Communicating Real-Time Systems – Zhou, Hooman - 1992
3 Using Message Passing for Distributed Programming: Proof Rules and Disciplines – Schlicting, Schneider - 1984
2 Compositionaltry and Completeness of the Inductive Assertion Method for Concurrent Systems – Boer - 1994
2 A compositional proof system for asynchronously communiceting processes – Hulst - 1995
2 On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes – Bough - 1988
2 Introduction to Logic Programming – Vol - 1990
1 Francez N., end de Roever W.-P., 'A proof system for communicating sequential processes – Apt - 1980
1 Partial correctness of asynchronously communicating processes – Hulst - 1994
1 Proof rules for Flush Channels – Cemp, Keerns, et al. - 1993
1 Program Verification – Frencez - 1992
1 A proof system for asynchronously communicating processes – Francez, Stomp - 1993
1 A model and proof system for asynchronous networks – B - 1985
1 Proof Rules for Message Passing, Logics and models of concurrent systems – Schneider - 1985
1 Declarative programming in Prolog – Miller, Ed - 1993
View or Download | Add to My Collection | Correct Errors