Author: Workshop Concurrency, Specification, and Programming (2004 Caputh, Germany)