CONCUR 2011 – Concurrency Theory - Katoen, Joost-Pieter; König, Barbara (Springer Berlin Heidelberg, 2011)
Keywords: Information Technology -- Software Engineering