A calculus and logic of bunched resources and processes, Theoretical Computer Science, vol.614, 2016. ,
, Logical Dynamics of Information and Interaction, 2014.
, Concurrent Separation Logic. ACM SIGLOG News, vol.3, issue.3, 2016.
On Decidability of Concurrent Kleene Algebra, International Conference on Concurrency Theory, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01558108
Algebra and Logic for Resource-Based Systems Modelling, Mathematical Structures in Computer Science, vol.19, issue.5, 2009. ,
Kleene Algebra with Hypotheses, International Conference on Foundations of Software Science and Computational Structures, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02021315
The Semantics of BI and Resource Tableaux, Mathematical Structures in Computer Science, vol.15, issue.6, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00076735
The Equational Theory of Pomsets, Theoretical Computer Science, vol.61, issue.2-3, 1988. ,
On partial languages, Fundamenta Mathematicae, vol.4, issue.2, 1981. ,
On observing nondeterminism and concurrency, International Colloquium on Automata, Languages and Programming, 1980. ,
Concurrent Kleene Algebra, International Conference on Concurrency Theory, 2009. ,
BI as an Assertion Language for Mutable Data Structures, Symposium on Principles of Programming Languages, 2001. ,
Deciding true concurrency equivalences on safe, finite nets. Theoretical Computer Science, vol.154, 1996. ,
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness, International Conference on Foundations of Software Science and Computational Structures, 2020. ,
Concurrent Kleene Algebra: Free Model and Completeness, European Symposium on Programming, 2018. ,
Sur l'opération? de l, Analysis Situs. Fundamenta Mathematicae, vol.3, issue.1, p.1922 ,
Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages, International Conference on Relational and Algebraic Methods in Computer Science, 2014. ,
Communication and Concurrency, 1989. ,
Resources, Concurrency, and Local Reasoning, Theoretical Computer Science, vol.375, issue.1-3, 2007. ,
On the Relation between Concurrent Separation Logic and Concurrent Kleene Algebra, Journal of Logical and Algebraic Methods in Programming, vol.84, issue.3, 2015. ,
The Logic of Bunched Implications, Bulletin of Symbolic Logic, vol.5, issue.2, 1999. ,
Local Reasoning about Programs That Alter Data Structures, International Conference on Computer Science Logic, 2001. ,
Resource Semantics: Logic as a Modelling Technology, ACM SIGLOG News, vol.6, issue.2, 2019. ,
Footprints in Local Reasoning, International Conference on Foundations of Software Science and Computational Structures, 2008. ,
Pomset logic: A non-commutative extension of classical linear logic, Typed Lambda Calculi and Applications, 1997. ,
Separation Logic: A Logic for Shared Mutable Data Structures, Symposium on Logic in Computer Science, 2002. ,
The Recognition of Series Parallel Digraphs, SIAM J. Comput, vol.11, issue.2, 1982. ,