Author:
Cavalcanti Ana,Sampaio Augusto,Woodcock Jim
Subject
General Computer Science,Theoretical Computer Science
Reference17 articles.
1. Stepwise Refinement of Parallel Algorithms;Back;Science of Computer Programming,1990
2. Stepwise Refinement of Communicating Systems;Butler;Science of Computer Programming,1996
3. ZRC - A Refinement Calculus for Z;Cavalcanti;Formal Aspects of Computing,1999
4. A Discipline of Programming;Dijkstra,1976
5. Data Refinement Refined;He,1986
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. UTP, Circus, and Isabelle;Theories of Programming and Formal Methods;2023
2. Probabilistic Semantics for RoboChart;Unifying Theories of Programming;2019
3. Interactive tool support for CSP || B consistency checking;Formal Aspects of Computing;2007-08
4. Simpler Reasoning About System Properties: a Proof-by-Refinement Technique;Electronic Notes in Theoretical Computer Science;2005-07
5. Unifying classes and processes;Software & Systems Modeling;2005-07