Refinement calculus, part I: Sequential nondeterministic programs-Reference-Cited by-同舟云学术

Refinement calculus, part I: Sequential nondeterministic programs

Published:1990 Issue: Volume: Page:42-66
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Back R. J. R.,Wright J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-52559-9_60.pdf

Reference37 articles.

1. R. J. R. Back. On the Correctness of Refinement Steps in Program Development. PhD thesis, Department of Computer Science, University of Helsinki, Helsinki, 1978. Report A-1978-4.

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

3. R. J. R. Back. On correct refinement of programs. J. Computer and Systems Sciences, 23(1):49–68, August 1981.

4. R. J. R. Back. Procedural abstraction in the refinement calculus. Reports on computer science and mathematics 55, Åbo Akademi, 1987.

5. R. J. R. Back. A calculus of refinements for program derivations. Acta Informatica, 25:593–624, 1988.

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

1. What Is a Garbage Collector? An Exercise in Compositional Refinement;Lecture Notes in Computer Science;2024

2. Refining Privacy-Aware Data Flow Diagrams;Software Engineering and Formal Methods;2021

3. Ordering Strict Partial Orders to Model Behavioral Refinement;Electronic Proceedings in Theoretical Computer Science;2018-10-24

4. Introducing probabilistic reasoning within Event-B;Software & Systems Modeling;2017-10-09

5. Bibliography;From Action Systems to Distributed Systems;2016-04-20