CONCUR 2010 - Concurrency Theory - Gastin, Paul; Kanade, Takeo; Laroussinie, François; Kittler, Josef (Springer Berlin Heidelberg, 2010)
Keywords: Information Technology -- Software Engineering