4 papers
Game Semantics: Easy as Pi
Nobuko Yoshida, Simon Castellan, Léo Stefanesco
Game semantics has proven to be a robust method to give compositional semantics for a variety of higher-order programming languages. However, due to the complexity of most game mod…
Concurrent Separation Logic Meets Template Games
Paul-André Melliès, Léo Stefanesco
An old dream of concurrency theory and programming language semantics has been to uncover the fundamental synchronization mechanisms which regulate situations as different as game…
An Asynchronous soundness theorem for concurrent separation logic
Paul-André Melliès, Léo Stefanesco
Concurrent separation logic (CSL) is a specification logic for concurrent imperative programs with shared memory and locks. In this paper, we develop a concurrent and interactive a…
A Game Semantics of Concurrent Separation Logic
Paul-André Melliès, Léo Stefanesco
In this paper, we develop a game-theoretic account of concurrent separation logic. To every execution trace of the Code confronted to the Environment, we associate a specification…