Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Lecture Notes in Computer Science 430;R.J.R. Back,1990
2. M. Broy, G. Nelson: Adding fair choice to Dijkstra's calculus. ACM Transactions on Programming Languages and Systems, 16 (1994) 924–938.
3. E.W. Dijkstra: A discipline of programming. Prentice-Hall 1976.
4. E.W. Dijkstra, CS. Scholten: Predicate calculus and program semantics. Springer V. 1990.
5. H. Doornbos: A relational model of programs without the restriction to Egli-Milner-monotone constructs. In: E.-R. Olderog: Programming Concepts, Methods and Calculi. North-Holland, 1994, pp. 363–382.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献