Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. J.R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
2. J.R. Abrial. Extending B without changing it (for developing distributed systems). In H. Habrias, editor, First B Conference, November 1996.
3. R.J.R. Back. Correctness Preserving Program Refinements: Proof Theory and Applications. Tract 131, Mathematisch Centrum, Amsterdam, 1980.
4. R.J.R. Back and M.J. Butler. Exploring summation and product operators in the refinement calculus. In B. Möller, editor, Mathematics of Program Construction, 1995, volume LNCS 947, pages 128–158. Springer-Verlag, 1995.
5. R.J.R. Back and R. Kurki-Suonio. Decentralisation of process nets with centralised control. In 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, pages 131–142, 1983.
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献