Frank S. de Boer, Hans-Dieter A. Hiep. Beyond Concurrent Separation Logic: Who is Afraid of Completeness Proofs?. In Nathalie Bertrand 0001, Clemens Dubslaff, Sascha Klüppelholz, editors, Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday. Volume 15760 of Lecture Notes in Computer Science, pages 301-319, Springer, 2025. [doi]
Abstract is missing.