Subject
General Computer Science,Theoretical Computer Science
Reference19 articles.
1. Programming by Multiset Transformation;Banaâtre;Communications of the ACM,1993
2. F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. Non-Monotonic Concurrent Constraint Programming. In Proc. International Logic Programming Symposium, pages 315–334, The MIT press, 1993.
3. F.S de Boer, C. Palamidessi. Embedding as a Tool for Language Comparison: On the CSP Hierarchy. In Proc. Concur'91, volume 527 of LNCS, pages 127–141, 1991.
4. G. Boudol. Asynchrony and the π-calculus. Technical Report 1702, INRIA, Sophia–Antipolis, 1992.
5. The Concurrent language Shared Prolog;Brogi;ACM Transactions on Programming Languages and Systems,1991
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献