G. Anderson and D. Pym, A calculus and logic of bunched resources and processes, Theoretical Computer Science, vol.614, pp.63-96, 2016.

J. Van-benthem, Logical Dynamics of Information and Interaction, 2014.

S. Brookes and P. O'hearn, Concurrent Separation Logic. ACM SIGLOG News, vol.3, issue.3, pp.47-65, 2016.

M. Collinson and D. Pym, Algebra and Logic for Resource-based Systems Modelling, Mathematical Structures in Computer Science, vol.19, pp.959-1027, 2009.

J. L. Gischer, The equational theory of pomsets, Theor. Comput. Sci, vol.61, issue.2-3, pp.90124-90131, 1988.

D. Galmiche, D. Méry, and D. Pym, 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

M. Hennessy and G. Plotkin, On observing nondeterminsm and concurrency, Proc. 7th ICALP, vol.85, pp.299-309, 1980.

T. Hoare, B. Möller, G. Struth, and I. Wehrman, Concurrent Kleene algebra, CONCUR. pp, pp.399-414, 2009.

T. Hoare, B. Möller, G. Struth, and I. Wehrman, Concurrent Kleene Algebra and its Foundations, Journal of Logic and Algebraic Programming, vol.80, pp.266-296, 2011.

S. Ishtiaq and P. O'hearn, 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.

C. Kuratowski, Sur l'opération? de l'Analysis Situs, Fundamenta Mathematicae, vol.3, issue.1, pp.182-199, 1922.

R. Milner, Communication and Concurrency, 1989.

P. O'hearn, Resources, concurrency, and local reasoning, Theoretical Computer Science, vol.375, issue.1-3, pp.271-307, 2007.

P. O'hearn and D. Pym, The logic of bunched implications, Bull. Symb. Log, vol.5, issue.2, pp.215-244, 1999.

P. O'hearn, R. L. Petersen, J. Villard, and A. Hussain, 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.

D. Pym, Resource Semantics: Logic as a Modelling Technology, ACM SIGLOG News, vol.6, issue.2, pp.5-41, 2019.

J. Reynolds, Separation Logic: a logic for shared mutable data structures, Proc LICS '02, pp.55-74, 2002.