Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. P. America, F.S. de Boer: A proof theory for a sequential version of POOL, C.W.I. Report, to appear.
2. ESPRIT project;P. America,1985
3. K.R. Apt: Formal justification of a proof system for CSP. Journal ACM, Vol. 30, No. 1, 1983, pp. 197–216.
4. K.R. Apt, N. Francez, W.P. de Roever: A proof system for communicating processes, ACM Transactions on Programming Languages and Systems, Vol. 2, No. 3, 1980, pp. 359–385.
5. R. Gerth, W.P. de Roever: A proof system for concurrent Ada programs. Science of Computer Programming 4, pp. 159–204.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Logic of Object-Oriented Programs;Lecture Notes in Computer Science;2003
2. Proof-Outlines for Threads in Java;CONCUR 2000 — Concurrency Theory;2000
3. Compositional Proofs for Concurrent Objects;Compositionality: The Significant Difference;1998
4. Formal techniques for parallel object-oriented languages;Object-Based Concurrent Computing;1992
5. POOL: design and experience;ACM SIGPLAN OOPS Messenger;1991-04