Science of Computer Programming, Volume 181

Volume 181, July 2019

Guest editors: M.L. Cornelio, A.W. Roscoe
a service of Schloss Dagstuhl - Leibniz Center for Informatics