CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Abadi, Martín (Editor), Alfaro, Luca de (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Series: Lecture Notes in Computer Science, 3653
• Subjects: Computer science.; Architecture, Computer.; Computer programming.; Programming languages (Electronic computers).; Computers.; Computer logic.; Computer Science.; Computer System Implementation.; Theory of Computation.; Logics and Meanings of Programs.; Computation by Abstract Devices.; Programming Languages, Compilers, Interpreters.; Programming Techniques.

This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers,developers, and students in order to advance the theory of concurrency and to promote its applications....