tailieunhanh - CONCUR 2004 – Concurrency Theory- P1

CONCUR 2004 – Concurrency Theory- P1: The purpose of the CONCUR conferences is to bring together researchers, developers and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continually growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the scientific relevance of their foundations. | I Philippa Gardner Nobuko Yoshida Eds. CONCUR 2004 - Concurrency Theory 15th International Conference London UK August September 2004 Proceedings LNCS3170 Ö Springer Please purchase P TEAM LinG Lecture Notes in Computer Science 3170 Commenced Publication in 1973 Founding and Former Series Editors Gerhard Goos Juris Hartmanis and Jan van Leeuwen Editorial Board David Hutchison Lancaster University UK Takeo Kanade Carnegie Mellon University Pittsburgh PA USA Josef Kittler University of Surrey Guildford UK Jon M. Kleinberg Cornell University Ithaca NY USA Friedemann Mattern ETH Zurich Switzerland John C. Mitchell Stanford University CA USA Moni Naor Weizmann Institute of Science Rehovot Israel Oscar Nierstrasz University of Bern Switzerland C. Pandu Rangan Indian Institute of Technology Madras India Bernhard Steffen University of Dortmund Germany Madhu Sudan Massachusetts Institute of Technology MA USA Demetri Terzopoulos New York University NY USA Doug Tygar University of California Berkeley CA USA Moshe Y. Vardi Rice University Houston TX USA Gerhard Weikum Max-Planck Institute of Computer Science Saarbruecken Germany Please purchase PDF Split-Merge on to remove this watermark This page intentionally left blank Please purchase PDF Split-Merge on to remove this .