"International Conference on Concurrency Theory (20th : 2009 : Bologna, Italy)" . . . "International Conference on Concurrency Theory (20th : 2009: : Bologna, Italy)" . "Nebenläufigkeit Kongress Bologna <2009>" . . "CONCUR. <20, 2009, Bologna>." . . "International Conference on Concurrency Theory (20th ; 2009)." . . . "Mathematics of Computing." . . "Mathematics of Computing" . . . "Computer multitasking." . . "Parallel processing (Electronic computers)" . . "Informatique." . . "Theory of Computation." . . "Theory of Computation" . . "Electronic books" . "Electronic books"@en . "CONCUR 2009 - concurrency theory : 20th international conference CONCUR 2009, Bologna, Italy, September 1 - 4, 2009; proceedings" . . . . . "CONCUR 2009 - concurrency theory 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 ; proceedings" . "CONCUR 2009 - concurrency theory 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 ; proceedings"@en . . . . "Conference proceedings"@en . . . . . . . "CONCUR 2009 concurrency theory : 20th international conference : proceedings" . . . "CONCUR 2009"@en . "CONCUR 2009" . . "CONCUR 2009 - Concurrency Theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings" . "Concurrency theory" . . . . . . . . . . . . . . "Kongress"@en . . . "CONCUR 2009" . . . . . "CONCUR 2009 : concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings" . "CONCUR 2009 - concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 ; proceedings" . "CONCUR 2009 - concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 ; proceedings"@en . "CONCUR 2009 - concurrency theory 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings" . . . . . . . . . "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 topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages."@en . . "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 topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages." . . . "CONCUR 2009 : concurrency theory : 20th international conference : proceedings" . . . . . . "CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings" . . . "CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings"@en . . "CONCUR 2009 : concurrency theory : proceedings" . . . "CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings"@en . "CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings" . . . . "Bologna (2009)"@en . "Conference papers and proceedings"@en . . . . . . . . . "International Conference on Concurrency Theory, CONCUR (20 : 01-09-2009 - 04-09-2009 : Bologna, Italy)" . . . "Information theory." . . "conception technique simultanée [congrès]" . . "Parallélisme (informatique) Congrès." . . "Parallélisme (Informatique) Congrès." . "parallélisme (informatique) [congrès]" . "CONCUR (20 2009.09.01-04 Bologna)" . . . "Computer Science." . . "Computer science." . "Logic design." . . "International Conference on Concurrency Theory (Bologna) (2009)" . . . "Models and Principles." . . "Models and Principles" . "Algorithm Analysis and Problem Complexity." . . "Algorithm Analysis and Problem Complexity" . "Logics and Meanings of Programs." . . "Logics and Meanings of Programs" . "International Conference on Concurrency Theory (20 2009.09.01-04 Bologna)" . . . "International Conference on Concurrency Theory (20 : 2009 : Bologna)" . . . "Fonctionnement multitâche Congrès." . . "multitraitement [congrès]" . . "Computation by Abstract Devices." . . "Computation by Abstract Devices" . "International Conference on Concurrency Theory." . . . "International Conference on Concurrency Theory (20e : 2009 : Bologne, Italie)" . . . "Computer software." . . "Nebenläufigkeit." . .