2 citations · 2 across the 2 of their papers we have counts for
1 paper · 2 filters
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…