Author:
Hoare Tony,Möller Bernhard,Struth Georg,Wehrman Ian
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference37 articles.
1. Fixed point calculus;Backhouse;Inform. Process. Lett.,1995
2. Process algebra with iteration and nesting;Bergstra;Comput. J.,1994
3. Lattice Theory;Birkhoff,1967
4. Semiring-based constraint satisfaction and optimization;Bistarelli;J. ACM,1997
5. G. Boudol, I. Castellani, On the semantics of concurrency: partial orders and transition systems, in: H. Ehrig, G. Levi, U. Montanari, CAAP 1987 and TAPSOFT 1987, LNCS 249, Springer, 1987, pp. 123–137.
Cited by
97 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Concurrent monads for shared state;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
2. Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. On Tools for Completeness of Kleene Algebra with Hypotheses;Logical Methods in Computer Science;2024-05-16
4. Shoggoth: A Formal Foundation for Strategic Rewriting;Proceedings of the ACM on Programming Languages;2024-01-05
5. Reasoning About Distributive Laws in a Concurrent Refinement Algebra;Lecture Notes in Computer Science;2024