1. J.M. Andreoli and R. Pareschi. Linear objects: logical processes with built-in inheritance. New Generation Computing, 9, 1991.
2. G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96, 1992.
3. E. Best, F.S. de Boer, and C. Palamidessi. Concurrent constraint programming with information removal. In Proc. of Coordination '97. Springer LNCS, 1997.
4. G. Boudol. Asynchrony and the π-calculus. Technical Report RR 1702, INRIA, 1992.
5. Ph. de Groote. Partially commutative linear logic: sequent calculus and phase semantics. In Proofs and Linguistic Categories, Proceedings 1996 Roma Workshop. In V. M. Abrusci and C. Casadio, eds. Cooperativa Libraria Universitaria Editrice Bologna, 1996.