R. Anand, D. A. Asthagiri, and . Lauffenburger, Bioengineering models of cell signaling, Annual Review of Biomedical Engineering, vol.2, pp.31-53, 2000.

D. Chiarugi, M. Falaschi, C. Olarte, and C. Palamidessi, Compositional modelling of signalling pathways in timed concurrent constraint programming, Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology, BCB '10, pp.414-417, 2010.
DOI : 10.1145/1854776.1854843
URL : https://hal.archives-ouvertes.fr/hal-00548213

D. Chiarugi, D. Hermith, M. Falaschi, and C. Olarte, Bioways: A ccp-based tool for simulating biological systems

D. Csercsika, K. M. Hangosa, and G. M. Nagy, A simple reaction kinetic model of rapid (G protein dependent) and slow (-Arrestin dependent) transmission, Journal of Theoretical Biology, vol.255, issue.1, pp.119-128, 2008.
DOI : 10.1016/j.jtbi.2008.07.032

D. Filmore, Cell-based screening assays and structural studies are fueling g-protein coupled receptors as one of the most popular classes of investigational drug targets, Modern Drug Discovery, vol.7, issue.11, 2004.

V. Gupta, R. Jagadeesan, and V. A. Saraswat, Probabilistic concurrent constraint programming, Proc. of CONCUR 97, 1997.
DOI : 10.1007/3-540-63141-0_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.8241

R. Horton, L. A. Moran, G. S. , M. Perry, and D. Rawn, Principles of Biochemistry, 2006.

L. Vladimir, M. Katanaev, and . Chornomorets, Kinetic diversity in g-protein-coupled receptor signalling, Biochem J, vol.401, issue.2, pp.485-495, 2006.

E. Klipp and W. Liebermeister, Mathematical modeling of intracellular signaling pathways, BMC Neuroscience, vol.7, issue.Suppl 1, pp.1-16, 2006.
DOI : 10.1186/1471-2202-7-S1-S10

R. Milner, Communicating and Mobile Systems: the Pi-Calculus, 1999.

M. Nielsen, C. Palamidessi, and F. D. Valencia, Temporal concurrent constraint programming: Denotation, logic and applications, Nordic Journal of Computing, vol.9, issue.1, 2002.
DOI : 10.7146/brics.v8i48.21708
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.3124

A. Todd, G. M. Riccobene, J. J. Omann, and . Linderman, Modeling activation and desensitization of g-protein coupled receptors provides insight into ligand efficacy, Journal of Theoretical Biology, vol.200, issue.2, pp.207-222, 1999.

D. Sangiorgi and D. Walker, The ?-calculus: a Theory of Mobile Processes, 2001.

V. Saraswat, R. Jagadeesan, and V. Gupta, Foundations of timed concurrent constraint programming, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 1994.
DOI : 10.1109/LICS.1994.316085

A. Vijay and . Saraswat, Concurrent Constraint Programming, 1993.

S. Schnell, R. Grima, and P. K. Maini, Multiscale Modeling in Biology, American Scientist, vol.95, issue.2, pp.134-142, 2007.
DOI : 10.1511/2007.64.134

L. Shea, L. Jennifer, and J. , Mechanistic model of G-protein signal transduction determinants of efficacy and effect of precoupled receptors, Biochemical Pharmacology, vol.53, issue.4, pp.519-549, 1997.
DOI : 10.1016/S0006-2952(96)00768-X

E. D. Sontag, Molecular Systems Biology and Control, Control of Boolean networks 15, pp.396-435, 2005.
DOI : 10.3166/ejc.11.396-435

T. Yi, H. Kitano, and M. I. Simon, A quantitative characterization of the yeast heterotrimeric G protein cycle, Proceedings of the National Academy of Sciences, vol.100, issue.19, pp.10764-10769, 2003.
DOI : 10.1073/pnas.1834247100