Author:
de Boer Frank,Gabbrielli M.,Meo M. C.
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. G. Berry and G. Gonthier. The ESTEREL programming language:Design, semantics and implementation. Science of Computer Programming, 19(2):87–152, 1992.
2. F.S. de Boer and M. Gabbrielli. Modeling Real-time in Concurrent Constraint Programming. In J. Lloyd editor, Proc. Int'l Logic Programming Symposium, ILPS'95. The MIT Press, 1995.
3. F.S. de Boer and C. Palamidessi. A Fully Abstract Model for Concurrent Constraint Programming. In S. Abramsky and T.S.E. Maibaum, editors, Proc. of TAPSOFT/CAAP, LNCS 493 pages 296–319. Springer-Verlag, 1991.
4. F.S. de Boer and C. Palamidessi. Embedding as a tool for language comparison. Information and Computation, 108(1):128–157, 1991.
5. S. Brookes. A fully abstract semantics of a shared variable parallel language. In Proc. of LICS, 1993.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献