"Computer Communication Networks." . . "Computer Communication Networks" . "International Conference on Concurrency Theory (18th : 2007)." . . . "Electronic books." . . "Nebenläufigkeit." . . "Conference on Concurrency Theory (18.) (Lisbon) (2007)" . . . "Parallel processing (Electronic computers)" . . "CONCUR (18 2007.09.03-08 Lisbon)" . . . "Programming Languages, Compilers, Interpreters." . . "Programming Languages, Compilers, Interpreters" . "International Conference on Concurrency Theory, CONCUR (18 : 03-09-2007 - 08-09-2007 : Lisbon, Portugal)" . . . "CONCUR (18 : 2007.09 : Lisbon)" . . . "Système informatique concurrent." . . . . "CONCUR 2007 concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 : proceedings" . . "Lissabon (2007)" . . . . . . . . . "CONCUR 2007 Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings"@en . . . . . . . . . . . . . "CONCUR 2007 - Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings" . . . . "CONCUR 2007 - concurrency theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, proceedings" . . . "This book constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory, CONCUR 2007, held in Lisbon, Portugal, September 3-8, 2007. The 30 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 112 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages."@en . . "CONCUR 2007 - concurrency theory 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings"@en . . . . . . "CONCUR 2007 Concurrency Theory : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings" . . "CONCUR 2007 - concurrency theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 : proceedings" . "CONCUR 2007 : Concurrency Theory : 18th International Conference, CONCUR 2007 Lisbon, Portugal, September 3-8, 2007 : proceedings" . . . . . . "Conference papers and proceedings" . "Conference papers and proceedings"@en . . "CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3 - 8, 2007 ; proceedings" . . . . . "CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings"@en . "CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings" . "CONCUR 2007 - Concurrency Theory 18th International Conference, CONCUR 2007 Lisbon, Portugal, September 3-8, 2007 Proceedings" . "CONCUR 2007" . . . "Ressources Internet" . . . . "Kongress" . . . . . "Electronic books" . . "Electronic books"@en . . "Programming Techniques." . . "Programming Techniques" . "Informatique." . . "International Conference on Concurrency Theory (18 : 2007.09 : Lisbon)" . . . "conception technique simultanée congrès." . . "Programação paralela (congressos)" . . "Parallélisme (informatique) Congrès." . . "parallélisme (informatique) congrès." . "Computer Science." . . "Computer science." . "raffinement." . . "Logics and Meanings of Programs." . . "Logics and Meanings of Programs" . "Számítógép párhuzamos feldolgozás tanulmányok." . . . . "Computation by Abstract Devices." . . "Computation by Abstract Devices" . "Logic design." . . "concurrence." . . "Parallélisme (Informatique)" . . "International Conference on Concurrency Theory (18 2007.09.03-08 Lisbon)" . . . "International Conference on Concurrency Theory (18th : 2007 : Lisbon, Portugal)" . . . "multitraitement congrès." . .