Author:
Bergstra Jan A.,Ponse Alban
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference16 articles.
1. Ten years of Hoare's logic, a survey;Apt;ACM Trans. Programming Languages Systems,1981
2. Process algebra with signals and conditions;Baeten,1992
3. A propositional logic with 4 values: true, false, divergent and meaningless;Bergstra;J. Appl. Non-Classical Logics,1995
4. A logic covering undefinedness in program proofs;Barringer;Acta Inform.,1984
5. A theory of communicating sequential processes;Brookes;J. ACM,1984
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献