Roberto M. Amadio Denis Lugiez CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings CONCUR Lecture Notes in Computer Science 2761 Springer 2003 3-540-40753-7 db/conf/concur/concur2003.html