Subject
General Computer Science,Theoretical Computer Science
Reference35 articles.
1. R.J.R. Back, K. Sere, Stepwise refinement of action systems, in: Mathematics of Program Construction, Lecture Notes in Computer Science, Vol. 375, Springer, Berlin, 1989, pp. 115–138.
2. Algebra of communicating processes with abstraction;Bergstra;Theoret. Comput. Sci.,1985
3. The weakest precondition calculus;Bonsangue;Formal Aspects Comput.,1994
4. Elements of Mathematics: Theory of Sets;Bourbaki,1968
5. Full abstraction for a shared-variable parallel language;Brookes;Inform. and Comput.,1996
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Fixpoints for general correctness;The Journal of Logic and Algebraic Programming;2011-08
2. Fixing Zeno gaps;Theoretical Computer Science;2011-06
3. Unifying Recursion in Partial, Total and General Correctness;Unifying Theories of Programming;2010
4. Dual unbounded nondeterminacy, recursion, and fixpoints;Acta Informatica;2007-06-19
5. Seeing Beyond Divergence;Communicating Sequential Processes. The First 25 Years;2005