Zetzsche, Georg Group G. Zetzsche, Max Planck Institute for Software Systems, Max Planck Society;
http://drops.dagstuhl.de/opus/volltexte/2018/9550/ (Publisher version)
http://drops.dagstuhl.de/doku/urheberrecht1.html (Copyright transfer agreement)
Meyer, R., Muskalla, S., & Zetzsche, G. (2018). Bounded Context Switching for Valence Systems. In S. Schewe, & L. Zhang (Eds.), 29th International Conference on Concurrency Theory (pp. 1-18). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.CONCUR.2018.12.