Concurrent Separation Logic Meets Template Games

DOI10.1145/3373718.3394762MaRDI QIDQ5145677zbMATH OpenOpenAlexWikidataFDO

Authors Paul-André Melliès, Léo Stefanesco

Publication date 21 January 2021

Published in Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2005.04453

zbMATH Keywords

cobordismconcurrent separation logicHoare tripletemplate games

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• A game semantics of concurrent separation logic
• Logics and Bisimulation Games for Concurrency, Causality and Conflict
• Game Semantics for Higher-Order Concurrency
• A semantics for concurrent separation logic
• CONCUR 2004 - Concurrency Theory
• Concurrent structures in game semantics
• Sequentiality vs. concurrency in games and logic
• Concurrent logic games on partial orders
• A parallel game semantics for linear logic
• The complexity of rational synthesis for concurrent games

Cited in

(2)

• Fundamentals of compositional rewriting theory
• Sequentiality vs. concurrency in games and logic

This page was built for publication: Concurrent Separation Logic Meets Template Games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145677)