Marcin S. Szczuka, Ludwik Czaja, Magdalena Kacprzak: Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland. CEUR Workshop Proceedings 1032, CEUR-WS.org 2013