CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bravetti, Mario (Editor), Zavattaro, Gianluigi (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Series: Lecture Notes in Computer Science, 5710
• Subjects: Computer science.; Computer programming.; Computers.; Computer logic.; Computer science > Mathematics.; Computer Science.; Logics and Meanings of Programs.; Programming Techniques.; Theory of Computation.; Models and Principles.; Computation by Abstract Devices.; Mathematics of Computing.

This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2009, held in Bologna, Italy, September 1-4, 2009. The 37 revised full papers presented together with four invited papers were carefully reviewed and selected from 129 submissions. The t...