Author:
Solin Kim,von Wright Joakim
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Back, R.-J.: Correctness Preserving Program Refinements: Proof Theory and Applications. In: Mathematical Centre Tracts, vol. 131. Mathematical Centre, Amsterdam (1980)
2. Back, R.-J., Kurki-Suonio, R.: Decentralisation of process nets with centralised control. In: Proc. of 2nd Ann. ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, PODC 1983, pp. 131–142. ACM Press, New York (1983)
3. Lecture Notes in Computer Science;R.-J. Back,1989
4. Back, R.-J., Sere, K.: Stepwise refinement of action systems. Structured Programming 12(1), 17–30 (1991)
5. Back, R.-J., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer, Heidelberg (1998)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modal Knowledge and Game Semirings;The Computer Journal;2012-10-31
2. Abstract representation theorems for demonic refinement algebras;The Journal of Logic and Algebraic Programming;2010-11
3. Normal design algebra;The Journal of Logic and Algebraic Programming;2010-02
4. Refinement algebra for probabilistic programs;Formal Aspects of Computing;2010-01
5. Enabledness and termination in refinement algebra;Science of Computer Programming;2009-06