Author:
Yang Hongseok,Reddy Uday S.
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. K. Apt and G. Plotkin. A Cook’s tour of countable non-determinism. In 8th ICALP. Springer-Verlag, 1981.
2. K. Apt and G. Plotkin. Countable nondeterminism and random assignment. J. ACM, 33(4):724–767, October 1986
3. R.-J. R. Back. On the correctness of Refinement steps in program development. Report A-1978-4, Department of Computer Science, University of Helsinki, 1978.
4. R.-J. R. Back. On the notion of correct Refinement of programs. Technical report, University of Helsinki, 1979.
5. R.-J. R. Back. A calculus of Refinements for program derivations. Acta Informatica, 25:593–624, 1988.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Semantic Basis for Local Reasoning;Lecture Notes in Computer Science;2002