Towards Concurrent Quantitative Separation Logic

Fesefeldt, Ira Justus; Katoen, Joost-Pieter; Noll, Thomas

(2022)
Preprint

Institutions

  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]