J. Abrial, M. J. Butler, S. Hallerstede, T. S. Hoang, F. Mehta et al., Rodin: an open toolset for modelling and reasoning in Event-B, International Journal on Software Tools for Technology Transfer, vol.15, issue.1, pp.447-466, 2010.
DOI : 10.1007/s10009-010-0145-y

N. E. Beckman, K. Bierhoff, and J. Aldrich, Verifying correct usage of atomic blocks and typestate, pp.227-244, 2008.

K. Bierhoff and J. Aldrich, Modular typestate checking of aliased objects, OOPSLA, pp.301-320, 2007.

J. Boyland, Checking Interference with Fractional Permissions, Lecture Notes in Computer Science, vol.2694, pp.55-72, 2003.
DOI : 10.1007/3-540-44898-5_4

J. Boyland, J. Noble, and W. Retert, Capabilities for Sharing, Lecture Notes in Computer Science, vol.2072, pp.2-27, 2001.
DOI : 10.1007/3-540-45337-7_2

N. Cataño and I. Ahmed, Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool, FMICS, pp.6-20, 2011.
DOI : 10.1007/978-3-642-24431-5_3

F. Fages, P. Ruet, and S. Soliman, Linear Concurrent Constraint Programming: Operational and Phase Semantics, Information and Computation, vol.165, issue.1, pp.14-41, 2001.
DOI : 10.1006/inco.2000.3002

URL : https://hal.archives-ouvertes.fr/hal-01431358

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

J. S. Hodas and D. Miller, Logic Programming in a Fragment of Intuitionistic Linear Logic, Information and Computation, vol.110, issue.2, pp.327-365, 1994.
DOI : 10.1006/inco.1994.1036

R. Jagadeesan, W. Marrero, C. Pitcher, and V. A. Saraswat, Timed constraint programming, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, pp.164-175, 2005.
DOI : 10.1145/1069774.1069790

K. R. Leino, Verifying Concurrent Programs with Chalice, Lecture Notes in Computer Science, vol.5944, p.2, 2010.
DOI : 10.1007/978-3-642-11319-2_2

C. Liang and D. Miller, A focused approach to combining logics, Annals of Pure and Applied Logic, vol.162, issue.9, pp.679-697, 2011.
DOI : 10.1016/j.apal.2011.01.012

URL : https://hal.archives-ouvertes.fr/hal-00772736

P. Lincoln, J. C. Mitchell, A. Scedrov, and N. Shankar, Decision problems for propositional linear logic, Annals of Pure and Applied Logic, vol.56, issue.1-3, pp.239-311, 1992.
DOI : 10.1016/0168-0072(92)90075-B

URL : http://doi.org/10.1016/0168-0072(92)90075-b

D. Miller and G. Nadathur, Programming with Higher-Order Logic, 2012.
DOI : 10.1017/cbo9781139021326

URL : https://hal.archives-ouvertes.fr/hal-00776197

K. Naden, R. Bocchino, J. Aldrich, and K. Bierhoff, A type system for borrowing permissions, POPL, pp.557-570, 2012.

E. Pimentel and D. Miller, On the Specification of Sequent Systems, Lecture Notes in Computer Science, vol.3835, pp.352-366, 2005.
DOI : 10.1007/11591191_25

V. A. Saraswat, M. C. Rinard, and P. Panangaden, The semantic foundations of concurrent constraint programming, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '91, pp.333-352, 1991.
DOI : 10.1145/99583.99627

S. Stork, P. Marques, and J. Aldrich, Concurrency by default, Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, OOPSLA '09, pp.933-940, 2009.
DOI : 10.1145/1639950.1640060

J. Sunshine, K. Naden, S. Stork, J. Aldrich, and . Tanter, First-class state change in plaid, OOPSLA, pp.713-732, 2011.