Refinement of Parallel and Reactive Programs-Reference-Cited by-同舟云学术

Refinement of Parallel and Reactive Programs

Published:1993 Issue: Volume: Page:73-92
ISSN:0258-1248
Container-title:Program Design Calculi
language:
Short-container-title:

Author:

Back R. J. R.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-02880-3_3

Reference38 articles.

1. M. Abadi and L. Lamport. The existence of refinement mappings. In Proc. $ni IEEE Symp. on LICS, Edinburgh, 1988.

2. R. J. R. Back. Correctness Preserving Program Refinements: Proof Theory and Applications, volume 131 of Mathematical Center Thacts. Mathematical Centre, Amsterdam, 1980.

3. R. J. R. Back. Changing data representation in the refinement calculus. In 21st Hawaii International Conference on System Sciences. IEEE, January 1989.

4. R. J. R. Back. Refining atomicity in parallel algorithms. In PARLE 89 Parallel Architectures and Languages Europe, volume 366 of Lecture Notes in Computer Science, Eindhoven, the Netherlands, June 1989. Springer Verlag, 1989.

5. R. J. R. Back. Refinement calculus II: Parallel and reactive programs. In J. W. deBakker, W. P. deRoever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems, volume 430 of Lecture Notes in Computer Science, pages 6793. Springer Verlag, 1990.

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

1. Consistency-preserving refactoring of refinement structures in Event-B models;Formal Aspects of Computing;2019-06

2. Perspicuity, Divergence, and Internal Operations;Refinement;2018

3. Simple State-Based Refinement;Refinement;2018

4. Introducing extra operations in refinement;Formal Aspects of Computing;2014-03

5. Perspicuity and Granularity in Refinement;Electronic Proceedings in Theoretical Computer Science;2011-06-17