Suraj, Zbigniew2022-03-022022-03-022015978-83-7996-181-8https://publica.fraunhofer.de/handle/publica/159129Concurrency, Specification & Programming. 24th InternationalWorkshop, CS&P 2015. Vol.1. Online resource