Paper at CONCUR 2022

The paper entitled “Towards Concurrent Quantitative Separation Logic” by Ira Fesefeldt, Joost-Pieter Katoen and Thomas Noll has been accepted at the 33rd International Conference on Concurrency Theory (CONCUR), to be held in Warsaw. The paper proposes a variant of Quantitative Separation Logic (QSL) for reasoning about concurrent probabilistic programs.