Author:
Boer F. S.,Hannemann U.,Roever W. -P.
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. K.R. Apt, N. Francez and W. P. de Roever. A proof system for Communicating Sequential Processes. In ACM Transactions on Programming Languages and Systems, 2:359–385, 1980.
2. H. Barringer, R. Kuiper, and A. Pnueli. Now you may compose temporal logic specifications. In 16th ACM symposium on Theory of Computation, pages 51–63, 1984.
3. F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. The failure of failures: Towards a paradigm for asynchronous communication. In Proceedings of Concur '91, Lecture Notes in Computer Science, Vol. 527, pages 111–126, 1991.
4. S. Brookes. A fully abstract semantics of a shared variable parallel language. In Proceedings 8th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, pages 98–109, 1993.
5. S.D. Brookes, C.A.R. Hoare and A.W. Roscoe. A Theory of Communicating Sequential Processes. JACM 31(7), pp. 560–599, 1984.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Bibliography of Willem-Paul de Roever;Concurrency, Compositionality, and Correctness;2010
2. Owicki/Gries in Isabelle/HOL;Fundamental Approaches to Software Engineering;1999
3. Hoare-Style compositional proof systems for reactive shared variable concurrency;Lecture Notes in Computer Science;1997