Dreyer, Derek Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;
https://drops.dagstuhl.de/opus/volltexte/2015/5356/ (Publisher version)
Birkedal, L., Dreyer, D., Gardner, P., & Shao, Z. (2015). Compositional Verification Methods for Next-Generation Concurrency. Wadern: Schloss Dagstuhl. doi:10.4230/DagRep.5.5.1.