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
Verifying correct usage of atomic blocks and typestate, pp.227-244, 2008. ,
Modular typestate checking of aliased objects, OOPSLA, pp.301-320, 2007. ,
Checking Interference with Fractional Permissions, Lecture Notes in Computer Science, vol.2694, pp.55-72, 2003. ,
DOI : 10.1007/3-540-44898-5_4
Capabilities for Sharing, Lecture Notes in Computer Science, vol.2072, pp.2-27, 2001. ,
DOI : 10.1007/3-540-45337-7_2
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
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
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
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
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
Verifying Concurrent Programs with Chalice, Lecture Notes in Computer Science, vol.5944, p.2, 2010. ,
DOI : 10.1007/978-3-642-11319-2_2
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
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
Programming with Higher-Order Logic, 2012. ,
DOI : 10.1017/cbo9781139021326
URL : https://hal.archives-ouvertes.fr/hal-00776197
A type system for borrowing permissions, POPL, pp.557-570, 2012. ,
On the Specification of Sequent Systems, Lecture Notes in Computer Science, vol.3835, pp.352-366, 2005. ,
DOI : 10.1007/11591191_25
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
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
First-class state change in plaid, OOPSLA, pp.713-732, 2011. ,