CONCUR 2003 - Concurrency Theory : 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings - Roberto Amadio, Denis Lugiez ((Lecture Notes in Computer Science))