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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bravetti, Mario (Επιμελητής έκδοσης), Zavattaro, Gianluigi (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Σειρά: Lecture Notes in Computer Science, 5710
• Θέματα: 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...