J. Andreoli, Logic Programming with Focusing Proofs in Linear Logic, Journal of Logic and Computation, vol.2, issue.3, p.297, 1992.
DOI : 10.1093/logcom/2.3.297

J. Banâtre and D. L. Métayer, The gamma model and its discipline of programming, Science of Computer Programming, vol.15, issue.1, pp.55-77, 1990.
DOI : 10.1016/0167-6423(90)90044-E

H. Betz and T. W. Frühwirth, A Linear-Logic Semantics for Constraint Handling Rules, Lecture Notes in Computer Science, vol.3709, pp.137-151, 2005.
DOI : 10.1007/11564751_13

M. Boreale, R. Bruni, L. Caires, R. D. Nicola, I. Lanese et al., SCC: A Service Centered Calculus, WS-FM, pp.38-57, 2006.
DOI : 10.1007/11841197_3

G. Boudol, Asynchrony and the Pi-calculus, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00076939

I. Cervesato and A. Scedrov, Relating state-based and process-based concurrency through linear logic (full-version) Information and Computation, pp.1044-1077, 2009.

R. V. Michel, E. D. Chaudron, and J. De, Towards a compositional method for coordinating gamma programs, Lecture Notes in Computer Science, vol.1061, pp.107-123, 1996.

C. Fournet and G. Gonthier, The reflexive CHAM and the join-calculus, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.372-385, 1996.
DOI : 10.1145/237721.237805

A. Van-gelder, K. A. Ross, and J. S. Schlipf, The well-founded semantics for general logic programs, Journal of the ACM, vol.38, issue.3, pp.620-650, 1991.
DOI : 10.1145/116825.116838

J. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

K. Honda and M. Tokoro, An object calculus for asynchronous communication, Proc. of ECOOP '91, pp.133-147, 1991.
DOI : 10.1007/BFb0057019

I. Lanese and F. Martins, Vasco Thudichum Vasconcelos, and António Ravara. Disciplining orchestration and conversation in service-oriented computing, SEFM, pp.305-314, 2007.

P. Melliès and N. Tabareau, Resource modalities in tensor logic, Annals of Pure and Applied Logic, vol.161, issue.5, pp.632-653, 2010.
DOI : 10.1016/j.apal.2009.07.018

C. Pautasso, O. Zimmermann, and F. Leymann, Restful web services vs. "big"' web services, Proceeding of the 17th international conference on World Wide Web , WWW '08, pp.805-814, 2008.
DOI : 10.1145/1367497.1367606

J. Robert, F. Simmons, and . Pfenning, Linear logical algorithms, Proc. of the 35th International Colloquium, ICALP, pp.336-347, 2008.

A. Van-gelder, The alternating fixpoint of logic programs with negation, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems , PODS '89, pp.185-221, 1993.
DOI : 10.1145/73721.73722

T. Hugo, L. Vieira, J. C. Caires, and . Seco, The conversation calculus: a model of service oriented computation, Proc. of ESOP'08, 2008.