Bernd-Holger Schlingloff: Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016. CEUR Workshop Proceedings 1698, CEUR-WS.org 2016