Subject
General Computer Science,Theoretical Computer Science
Reference49 articles.
1. Guarded commands, nondeterminacy and formal derivation of programs;Dijkstra;Commun. ACM,1975
2. Understanding Concurrent Systems;Roscoe,2010
3. Programming from Specifications;Morgan,1994
4. Refinement Calculus: A Systematic Introduction;Back,1998
5. A theoretical basis for stepwise refinement and the programming calculus;Morris;Sci. Comput. Program.,1987
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Tour Through the Programming Choices: Semantics and Applications;Lecture Notes in Computer Science;2024
2. UTP, Circus, and Isabelle;Theories of Programming and Formal Methods;2023