A proof environment for concurrent programs-Reference-Cited by-同舟云学术

A proof environment for concurrent programs

Published: Issue: Volume: Page:196-215
ISSN:
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Brown Naïma,Mery Dominique

Publisher

Springer-Verlag

Link

http://www.springerlink.com/index/pdf/10.1007/BFb0024647

Reference20 articles.

1. R.S. Boyer and J.S. Moore. A Computational Logic Handbook. Academic Press, 1988.

2. N. Brown and D. Mery. Deriving Occam Programs through the Refinement of Unity-like Specifications. In W. Joosen and E. Milgrom, editors, Proceedings European Workshop on Parallel Computing. IOS PRESS, 1992.

3. R.J.R. Back and K. Sere. Deriving an occam implementation of action systems. In C. Morgan and J.C.P. Woodcock, editors, 4rd Refinement Workshop. Springer-Verlag, January 1991. BCS-FACS, Workshops in Computing.

4. BP Innovation Centre and Edinburgh Portable Compilers Ltd. B-Tool Versionl. 1, Reference Manual, 1991.

5. BP Innovation Centre and Edinburgh Portable Compilers Ltd. B-Tool Versionl.1, Tutorial, 1991.

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

1. Proving Reachability in B using Substitution Refinement;Electronic Notes in Theoretical Computer Science;2011-12

2. Distributed intelligent actuation and measurement (IAM) system within an integrated shop-floor organisation;Computers in Industry;1998-11

3. A modular coding of UNITY in COQ;Lecture Notes in Computer Science;1996

4. On mechanizing proofs within a complete proof system for Unity;Algebraic Methodology and Software Technology;1995

5. Correctness-preserving transformations for the design of parallel programs;Object-Based Models and Languages for Concurrent Systems;1995