Author:
Boer F. S.,Kok J. N.,Palamidessi C.,Rutten J. J. M. M.
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. A. Brogi and P. Ciancarini. The concurrent language Shared Prolog. Technical Report TR-8/89, Dipartimento di Informatica, Università di Pisa, 1989.
2. S.D. Brookes, C.A.R. Hoare, and W. Roscoe. A theory of communicating sequential processes. J. Assoc. Comput. Mach., 31:560–599, 1984.
3. J.A. Bergstra and J.W. Klop. A complete inference system for regular processes with silent moves. In F.R. Drake and J.K. Truss, editors, Proceedings Logic Colloquium 1986, pages 21–81, Hull, 1988. North-Holland.
4. J.A. Bergstra, J.W. Klop, and E.-R. Olderog. Readies and failures in the algebra of communicating systems. SIAM J. Comp., 17(6):1134–1177, 1988.
5. J.W. de Bakker and J.N. Kok. Comparative metric semantics for Concurrent Prolog. Theoretical Computer Science, 75:15–43, 1990.
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献