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

A. Aziz, K. Sanwal, V. Singhal, and R. Brayton, Model-checking continuous-time Markov chains, ACM Transactions on Computational Logic, vol.1, issue.1, pp.162-170, 2000.
DOI : 10.1145/343369.343402

D. Baelde, Logique linéaire et algèbre de processus, INRIA Futurs, LIX and ENS, 2005.

D. Baelde, A. Gacek, D. Miller, G. Nadathur, and A. Tiu, The Bedwyr System for Model Checking over Syntactic Expressions, 21th Conf. on Automated Deduction (CADE), number 4603 in LNAI, pp.391-397, 2007.
DOI : 10.1007/978-3-540-73595-3_28

T. Braüner and V. De-paiva, Intuitionistic hybrid logic, Journal of Applied Logic, vol.4, issue.3, pp.231-255, 2006.
DOI : 10.1016/j.jal.2005.06.009

I. Cervesato, F. Pfenning, D. Walker, and K. Watkins, A concurrent logical framework II: Examples and applications, 2003.

N. Chabrier-rivier, F. Fages, and S. Soliman, The Biochemical Abstract Machine BIOCHAM, International Workshop on Computational Methods in Systems Biology (CMSB-2), 2004.
DOI : 10.1007/BF03037227
URL : https://hal.archives-ouvertes.fr/inria-00000814

K. Bor-yuh-evan-chang, F. Chaudhuri, and . Pfenning, A judgmental analysis of linear logic, 2003.

K. Chaudhuri, F. Pfenning, and G. Price, A Logical Characterization of Forward and Backward Chaining in the Inverse Method, Journal of Automated Reasoning, vol.2, issue.5, pp.133-177, 2008.
DOI : 10.1007/s10817-007-9091-0

V. Danos and J. Krivine, Formal Molecular Biology Done in CCS-R, Proceedings of BIO-CONCUR'03, pp.31-49, 2003.
DOI : 10.1016/j.entcs.2004.01.040

V. Danos and C. Laneve, Formal molecular biology, Theoretical Computer Science, vol.325, issue.1, pp.69-110, 2004.
DOI : 10.1016/j.tcs.2004.03.065
URL : https://hal.archives-ouvertes.fr/hal-00164591

J. Desharmais and P. Panangaden, Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes, The Journal of Logic and Algebraic Programming, vol.56, issue.1-2, pp.99-115, 2003.
DOI : 10.1016/S1567-8326(02)00068-1

H. Deyoung, D. Garg, and F. Pfenning, An Authorization Logic With Explicit Time, 2008 21st IEEE Computer Security Foundations Symposium, pp.133-145, 2008.
DOI : 10.1109/CSF.2008.15

B. Michael, S. Elowitz, and . Leibler, A synthetic oscillatory network of transcriptional regulators, Nature, vol.403, issue.6767, pp.335-338, 2000.

E. and A. Emerson, Temporal and Modal Logic, TCS, pp.995-1072, 1995.
DOI : 10.1016/B978-0-444-88074-1.50021-4

N. Stewart, T. G. Ethier, and . Kurtz, Markov Processes; Characterization and Convergence. Wiley series in Probability and Mathematical Statistics, 1986.

D. Foata and A. Fuchs, Calcul des probabilités, cours exercices et problèmes corrigés, 2003.

D. Garg and F. Pfenning, Type-Directed Concurrency, 16th International Conference on Concurrency Theory (CONCUR), pp.6-20, 2005.
DOI : 10.1007/11539452_5

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

H. Hansson and B. Jonsson, A logic for reasoning about time and probability, Formal Aspects of Computing, issue.6, 1994.

J. Hillston, A compositional approach to performance modelling, 1996.
DOI : 10.1017/CBO9780511569951

J. A. and W. Kamp, Tense Logic and the Theory of Linear Order, 1968.

M. Kwiatkowska, G. Norman, and D. Parker, Probabilistic symbolic model checking using PRISM: a hybrid approach, International Journal of Software Tools for Technology Transfer, vol.6, issue.2, 2004.

M. A. Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Francenschinis, Modelling with Generalised Stochastic Petri Nets, 1995.

D. Miller, The ??-calculus as a theory in linear logic: Preliminary results, 3rd Workshop on Extensions to Logic Programming, number 660 in LNCS, pp.242-265, 1993.
DOI : 10.1007/3-540-56454-3_13

R. Milner, Communicating and Mobile Systems : The ?-Calculus, 1999.

V. Nigam and D. Miller, Focusing in Linear Meta-logic, Proceedings of IJCAR: International Joint Conference on Automated Reasoning, pp.507-522, 2008.
DOI : 10.1007/978-3-540-71070-7_42
URL : https://hal.archives-ouvertes.fr/inria-00281631

F. Pfenning and C. Elliott, Higher-order abstract syntax, Proceedings of the ACM-SIGPLAN Conference on Programming Language Design and Implementation, pp.199-208, 1988.

A. Phillips and L. Cardelli, A correct abstract machine for the stochastic pi-calculus. Concurrent Models in Molecular Biology, 2004.

A. Phillips and L. Cardelli, A correct abstract machine for the stochastic pi-calculus, Proceedings of BioConcur'04, 2004.

A. Phillips, L. Cardelli, and G. Castagna, A Graphical Representation for Biological Processes in the Stochastic pi-Calculus, Transactions on Computational Systems Biology VII, pp.123-152, 2006.
DOI : 10.1007/11905455_7
URL : https://hal.archives-ouvertes.fr/hal-00152518

N. Arthur and . Prior, Time and Modality, 1957.

J. Reed, Hybridizing a Logical Framework, International Workshop on Hybrid Logic (HyLo), 2006.
DOI : 10.1016/j.entcs.2006.11.030

A. Regev, E. M. Panina, W. Silverman, L. Cardelli, and E. Shapiro, BioAmbients: an abstraction for biological compartments, Theoretical Computer Science, vol.325, issue.1, pp.141-167, 2004.
DOI : 10.1016/j.tcs.2004.03.061

A. Regev, W. Silverman, and E. Shapiro, Representation and simulation of biochemical processes using the ??-calculus process algebra, Biocomputing 2001, pp.459-470, 2001.
DOI : 10.1142/9789814447362_0045

U. Saranli and F. Pfenning, Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems, Proceedings 2007 IEEE International Conference on Robotics and Automation, pp.3705-3710, 2007.
DOI : 10.1109/ROBOT.2007.364046

A. Simpson, The Proof Theory and Semantics of Intuitionistic Modal Logic, 1994.

K. Watkins, I. Cervesato, F. Pfenning, and D. Walker, A concurrent logical framework I: Judgments and properties, 2003.

P. Wu, C. Palamidessi, and H. Lin, Symbolic Bisimulations for Probabilistic Systems, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), pp.179-188, 2007.
DOI : 10.1109/QEST.2007.11