42 citations · 56 across the 5 of their papers we have counts for
1 paper · 1 filter
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…