Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Back, R.J.R.: Refining atomicity in parallel algorithms. In: Parallel Architectures and Languards Europe, Springer, Heidelberg (1989)
2. Back, R.J.R., von Wright, J.: Reasoning algebraically about loops. Acta Informatica 36(4) (1999)
3. Doeppner, T.: Parallel program correctness through refinement. In: ACM Symposium on Principles of Programming Languages (1977)
4. Gouda, M.G., Yu, Y.T.: Protocol validation by maximal progress state exploration. Technical Report CS-TR-211, The University of Texas at Austin (1982)
5. Kozen, D.: A completeness theorem for Kleene algebra and the calculus of regular events. Information and Computation 110(2), 366–390 (1994)
Cited by
67 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A proof theory of right-linear (ω-)grammars via cyclic proofs;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. An Algebra of Alignment for Relational Verification;Proceedings of the ACM on Programming Languages;2023-01-09
3. Computing Least and Greatest Fixed Points in Absorptive Semirings;Relational and Algebraic Methods in Computer Science;2021
4. Algorithmics;IFIP Advances in Information and Communication Technology;2021
5. Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges;Unifying Theories of Programming;2019