Subject
General Computer Science,Theoretical Computer Science
Reference9 articles.
1. R-JR Back and J von Wright. Refinement Calculus I: Sequential nondeterministic programs. In J.W. de Bakker, W.P. de Roever, and G Rozenberg, editors, stepwise refinement of distributed systems, volume 430, pages 42–66. LNCS, 1990.
2. Algebraic proofs of consistency and completeness;Gardiner;Theoretical Computer Science,1995
3. An algebraic construction of predicate transformers;Gardiner;Science of Computer Programming,1994
4. A Single Complete Rule for Data Refinement;Gardiner;Formal Aspects of Computing,1993
5. Communicating Sequential Processes;Hoare,1985