Provably Correct Systems-Reference-Cited by-同舟云学术

Provably Correct Systems

Published:1994 Issue: Volume: Page:288-335
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

He Jifeng,Hoare C. A. R.,FrÄnzle Martin,Müller-Olm Markus,Olderog Ernst-Rüdiger,Schenke Michael,Hansen Michael R.,Ravn Anders P.,Rischel Hans

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58468-4_171.pdf

Reference84 articles.

1. R. J. R. Back. Refinement calculus, part II: Parallel and reactive programs. In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, volume 430 of LNCS, pages 67–93, 1990.

2. J. C. M. Baeten and P. Weijland. Process Algebra. Cambridge University Press, 1980.

3. F. L. Bauer et al. The Munich Project CIP, Volume II: The Transformation System CIP-S, volume 292 of LNCS. Springer-Verlag, 1987.

4. W. R. Bevier, W. A. Hunt, Jr., and W. D. Young. Towards verified execution environments. Technical Report 5, Computational Logic, Inc., Austin, Texas, USA, February 1987.

5. D. BjØrner, H. Langmaack, and C. A. R. Hoare. ProCoS I final deliverable. ProCoS Technical Report [ID/DTH DB 13/1], Department of Computer Science, Technical University of Denmark, DK-2800 Lyngby, Denmark, January 1993.

Cited by 30 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Concurrent Hyperproperties;Theories of Programming and Formal Methods;2023

2. List of Tony Hoare’s Publications;Theories of Programming;2021-10-02

3. Space for Traffic Manoeuvres: An Overview;Lecture Notes in Computer Science;2018

4. Provably Correct Systems: Community, Connections, and Citations;NASA Monographs in Systems and Software Engineering;2017

5. A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng;Theories of Programming and Formal Methods;2013