CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Baldan, Paolo (Επιμελητής έκδοσης), Gorla, Daniele (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
• Σειρά: Lecture Notes in Computer Science, 8704
• Θέματα: Computer science.; Software engineering.; Computer logic.; Mathematical logic.; Mathematical statistics.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Probability and Statistics in Computer Science.; Mathematical Logic and Formal Languages.
• Φυσική περιγραφή: XXII, 594 p. 90 illus. online resource.
• ISBN: 9783662445846
• ISSN: 0302-9743 ;

This book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in September 2014. The 35 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 124 submissions. The focus of the conference is on the following topics: process calculi, model checking and abstraction, synthesis, quantitative models, automata and multithreading, complexity, process calculi and types, categories, graphs and quantum systems, automata and time, and games.