Author:
de Bakker J.W.,Zucker J.I.
Reference58 articles.
1. Formal justification of a proof system for communicating sequential processes;Apt,1981
2. A proof system for communicating sequential processes;Apt;ACM TOPLAS,1980
3. Proof rules dealing with fairness;Apt,1982
4. A Cook's tour of countable nondeterminism;Apt,1981
5. Metric interpretations of infinite trees and semantics of nondeterministic recursive programs;Arnold;Theoret. Comput. Sci.,1980
Cited by
208 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Origins and Development of Formal Methods;Texts in Theoretical Computer Science. An EATCS Series;2022
2. Keep it fair: Equivalence and composition;Journal of Logical and Algebraic Methods in Programming;2019-04
3. Correctness checking of a quantum protocol for reliable communications via feedback;Afrika Matematika;2019-03-27
4. Fixed points of functors;Journal of Logical and Algebraic Methods in Programming;2018-02
5. Denotational semantics of membrane systems by using complete metric spaces;Theoretical Computer Science;2017-11