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

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

S. Brookes and P. W. O'hearn, Concurrent Separation Logic. ACM SIGLOG News, vol.3, issue.3, 2016.

P. Brunet, D. Pous, and G. Struth, On Decidability of Concurrent Kleene Algebra, International Conference on Concurrency Theory, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01558108

M. Collinson and D. Pym, Algebra and Logic for Resource-Based Systems Modelling, Mathematical Structures in Computer Science, vol.19, issue.5, 2009.

A. Doumane, D. Kuperberg, D. Pous, and P. Pradic, Kleene Algebra with Hypotheses, International Conference on Foundations of Software Science and Computational Structures, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02021315

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

J. L. Gischer, The Equational Theory of Pomsets, Theoretical Computer Science, vol.61, issue.2-3, 1988.

J. Grabowski, On partial languages, Fundamenta Mathematicae, vol.4, issue.2, 1981.

M. Hennessy and R. Milner, On observing nondeterminism and concurrency, International Colloquium on Automata, Languages and Programming, 1980.

C. A. Hoare, B. Möller, G. Struth, and I. Wehrman, Concurrent Kleene Algebra, International Conference on Concurrency Theory, 2009.

S. Samin, P. W. Ishtiaq, and . O'hearn, BI as an Assertion Language for Mutable Data Structures, Symposium on Principles of Programming Languages, 2001.

L. Jategaonkar and A. R. Meyer, Deciding true concurrency equivalences on safe, finite nets. Theoretical Computer Science, vol.154, 1996.

T. Kappé, P. Brunet, A. Silva, J. Wagemaker, and F. Zanasi, Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness, International Conference on Foundations of Software Science and Computational Structures, 2020.

T. Kappé, P. Brunet, A. Silva, and F. Zanasi, Concurrent Kleene Algebra: Free Model and Completeness, European Symposium on Programming, 2018.

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

R. Michael, G. Laurence, and . Struth, Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages, International Conference on Relational and Algebraic Methods in Computer Science, 2014.

R. Milner, Communication and Concurrency, 1989.

W. Peter and . O'hearn, Resources, Concurrency, and Local Reasoning, Theoretical Computer Science, vol.375, issue.1-3, 2007.

W. Peter, . O'hearn, L. Rasmus, J. Petersen, A. Villard et al., On the Relation between Concurrent Separation Logic and Concurrent Kleene Algebra, Journal of Logical and Algebraic Methods in Programming, vol.84, issue.3, 2015.

W. Peter, D. J. O'hearn, and . Pym, The Logic of Bunched Implications, Bulletin of Symbolic Logic, vol.5, issue.2, 1999.

W. Peter, J. C. O'hearn, H. Reynolds, and . Yang, Local Reasoning about Programs That Alter Data Structures, International Conference on Computer Science Logic, 2001.

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

M. Raza and P. Gardner, Footprints in Local Reasoning, International Conference on Foundations of Software Science and Computational Structures, 2008.

C. Retoré, Pomset logic: A non-commutative extension of classical linear logic, Typed Lambda Calculi and Applications, 1997.

J. C. Reynolds, Separation Logic: A Logic for Shared Mutable Data Structures, Symposium on Logic in Computer Science, 2002.

J. Valdes, R. E. Tarjan, and E. L. Lawler, The Recognition of Series Parallel Digraphs, SIAM J. Comput, vol.11, issue.2, 1982.