A game semantics of concurrent separation logic

DOI10.1016/j.entcs.2018.03.026OpenAlexW2962731053WikidataQ113317554 ScholiaQ113317554MaRDI QIDQ2130597

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

Publication date: 25 April 2022

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

zbMATH Keywords

concurrent separation logicgame semantics specification logic

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Mezzo

Cites Work

• Unnamed Item
• Resources, concurrency, and local reasoning
• Iris
• Views
• The Essence of Higher-Order Concurrent Separation Logic
• Type Soundness and Race Freedom for Mezzo
• Permission accounting in separation logic
• CONCUR 2004 - Concurrency Theory
• A Revisionist History of Concurrent Separation Logic
• Concurrent Separation Logic and Operational Semantics

This page was built for publication: A game semantics of concurrent separation logic