Proceedings

• Bernd-Holger Schlingloff, Samira Akili, editors, Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018. Volume 2240 of CEUR Workshop Proceedings, CEUR-WS.org, 2018.