A calculus and logic of bunched resources and processes, Theoretical Computer Science, vol.614, pp.63-96, 2016. ,
Logical Dynamics of Information and Interaction, 2014. ,
, Concurrent Separation Logic. ACM SIGLOG News, vol.3, issue.3, pp.47-65, 2016.
Algebra and Logic for Resource-based Systems Modelling, Mathematical Structures in Computer Science, vol.19, pp.959-1027, 2009. ,
The equational theory of pomsets, Theor. Comput. Sci, vol.61, issue.2-3, pp.90124-90131, 1988. ,
The semantics of BI and resource tableaux, Math. Str. Comp. Sci, vol.15, issue.06, pp.1033-1088, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00076735
On observing nondeterminsm and concurrency, Proc. 7th ICALP, vol.85, pp.299-309, 1980. ,
Concurrent Kleene algebra, CONCUR. pp, pp.399-414, 2009. ,
Concurrent Kleene Algebra and its Foundations, Journal of Logic and Algebraic Programming, vol.80, pp.266-296, 2011. ,
BI as an assertion language for mutable data structures, Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.14-26, 2001. ,
Sur l'opération? de l'Analysis Situs, Fundamenta Mathematicae, vol.3, issue.1, pp.182-199, 1922. ,
Communication and Concurrency, 1989. ,
Resources, concurrency, and local reasoning, Theoretical Computer Science, vol.375, issue.1-3, pp.271-307, 2007. ,
The logic of bunched implications, Bull. Symb. Log, vol.5, issue.2, pp.215-244, 1999. ,
On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra, Journal of Logical and Algebraic Methods in Programming, vol.84, issue.3, pp.285-302, 2015. ,
Resource Semantics: Logic as a Modelling Technology, ACM SIGLOG News, vol.6, issue.2, pp.5-41, 2019. ,
Separation Logic: a logic for shared mutable data structures, Proc LICS '02, pp.55-74, 2002. ,