Workshop on Synthesis of Concurrent Systems (2001 Newcastle upon Tyne, England)