80 citations · 114 across the 20 of their papers we have counts for
1 paper · 1 filter
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…