Science of Computer Programming, Volume 110

Volume 110, October 2015

Special Section on Formal Coordination Regular Papers
a service of Schloss Dagstuhl - Leibniz Center for Informatics