Author:
Bourgois Marc,Andreoli Jean -Marc,Pareschi Remo
Reference26 articles.
1. J-M. Andreoli, L. Leth, R. Pareschi, and B. Thomsen. True concurrency semantics for a linear logic programming language with broadcast communication. In Proc. of TAPSOFT'93, Orsay (France), 1992.
2. J-M. Andreoli and R. Pareschi. Communication as fair distribution of knowledge. In Proc. of OOPSLA'91, Phoenix, Az, U.S.A., 1991.
3. J-M. Andreoli, R. Pareschi, and T. Castagnetti. Abstract interpretation of linear logic programs. In Proc. of the 1993 International Logic Programming Symposium, Vancouver (Canada), 1993.
4. M. Bourgois, J-M. Andreoli, and R. Pareschi. Extending objects with rules, composition and concurrency: the lo experience. In Proc. of the OOPSLA '92 workshop on Object-Oriented Programming Languages — The Next Generation, Vancouver, Canada, 1992.
5. A. Brogi and P. Ciancarini. The concurrent language shared prolog. ACM Transactions on Programming Languages and Systems, 13(1):99–123, 1991.