1. Workshop on logic programming and concurrency, http://www.lix.polytechnique.fr/%7elutz/orgs/lpc_geocal06.html (2006)
2. Proofs as processes;Abramsky;Theoretical Computer Science,1994
3. Abramsky, S., Process realizability, in: F. Bauer and R. Steinbruggen, editors, Proc. 1999 Marktoberdorf Summer School (2000), pp. 167–180
4. Andreoli, J.-M., Focussing proof-net construction as a middleware paradigm, in: A. Voronkov, editor, Proc. CADE–18 (2002), pp. 501–516
5. Linear objects: Logical processes with built-in inheritance;Andreoli;Ne Generation Computing,1991