Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference72 articles.
1. Formal justification of a proof system for communicating sequential processes;Apt;JACM,1983
2. Ten years of Hoare's logic: a survey, part II: nondeterminism;Apt;TCS,1984
3. Verification of Sequential and Concurrent Programs, Graduate Texts in Computer Science;Apt,1997
4. K.R. Apt, G.D. Plotkin, A cook's tour of countable nondeterminism, in: S. Even, O. Kariv (Eds.), Proc. 8th ICALP, LNCS, vol. 115, Springer-Verlag, Berlin, 1981, pp. 479–494
5. Countable nondeterminism and random assignment;Apt;JACM,1986
Cited by
200 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Mixed choice in session types;Information and Computation;2024-06
2. Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation;Proceedings of the ACM on Programming Languages;2024-01-05
3. The Way We Were: Structural Operational Semantics Research in Perspective;Electronic Proceedings in Theoretical Computer Science;2023-09-14
4. Quantitative Programming and Continuous-Time Markov Chains;2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2023-09-11
5. Weak Similarity in Higher-Order Mathematical Operational Semantics;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26