Concurrency, Specification, and Programming: Special Issue of Selected Papers of CS&P 2015. - Czaja, Ludwik; Penczek, Wojciech; Stencel, Krzysztof (Fundamenta Informaticae, 2016)