Towards Concurrent Quantitative Separation Logic.

Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll

Browse the full CONCUR paper archive.