Fundamenta Informaticae, Volume 60

Volume 60, Number 1-4, 2004

Concurrency Specification and Programming (CS&P 2003)