Acta Informatica, Volume 52

Volume 52, Number 1, February 2015

Special issue: Combining Compositionality and Concurrency: Part 1

Volume 52, Numbers 2-3, April 2015

Special Issue: Comprehending Asynchrony in Specification and Analysis

Volume 52, Numbers 4-5, June 2015

Special Issue: Combining Compositionality and Concurrency: Part 2

Volume 52, Number 6, September 2015

Volume 52, Numbers 7-8, November 2015

a service of Schloss Dagstuhl - Leibniz Center for Informatics