Special issue: Concurrency specification and programming (CS&P 2008). Selected and extended versions based on the presentations at the workshop in GroßVäter See (north of Berlin/Germany), 29 September – 1 October, 2008. (English) Zbl 1193.68006
Fundam. Inform. 93, No. 1-3, i-vii, 1-352 (2009); 93, No. 4, 353-469 (2009).