Author:
Bolton Christie,Davies Jim,Woodcock Jim
Reference16 articles.
1. R. J. R. Back and K. Sere. Stepwise refinement of action systems. In Proceedings of the International Conference on Mathematics of Program Construction, volume 375 of LNCS, pages 115–138. Springer, 1989.
2. M. J. Butler. Refinement and decomposition of value-passing action systems. In E. Best, editor, Concurrency Theory (CONCUR ’93), volume 715 of LNCS. Springer-Verlag, 1993.
3. R. Duke, G. Rose, and G. Smith. Object Z: a specification language advocated for the description of standards. Computer Standards and Interfaces, 17:511–533, 1995.
4. C. Fischer. Combining CSP and Z. Technical report, University of Oldenburg, 1997.
5. C. Fischer. CSP-OZ: A combination of Object-Z and CSP. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS ’97) volume 2, pages 423–438. Chapman and Hall, 1997.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献