Linked Data Explorerhttp://worldcat.org/entity/work/id/892062318
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.
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/892062318#Topic/logic_design
- http://experiment.worldcat.org/entity/work/data/892062318#Topic/conception_technique_simultanee_congres
- http://id.loc.gov/authorities/subjects/sh2008108874
- http://id.loc.gov/authorities/subjects/sh85078117
- http://experiment.worldcat.org/entity/work/data/892062318#Topic/computation_by_abstract_devices
- http://experiment.worldcat.org/entity/work/data/892062318#Topic/nebenlaufigkeit
- http://id.loc.gov/authorities/subjects/sh92001010
- http://id.worldcat.org/fast/872451
- http://experiment.worldcat.org/entity/work/data/892062318#Topic/computer_multitasking
- http://experiment.worldcat.org/entity/work/data/892062318#Topic/informatique
- http://experiment.worldcat.org/entity/work/data/892062318#Topic/nebenlaufigkeit_kongress_bologna_<_2009>
- http://id.worldcat.org/fast/872527
- http://id.loc.gov/authorities/subjects/sh85029534
- http://id.worldcat.org/fast/1728115
- http://experiment.worldcat.org/entity/work/data/892062318#Topic/computer_software
- http://experiment.worldcat.org/entity/work/data/892062318#Topic/models_and_principles
- http://experiment.worldcat.org/entity/work/data/892062318#Topic/multitraitement_congres
- http://id.worldcat.org/fast/1002045
- http://experiment.worldcat.org/entity/work/data/892062318#Topic/computer_science
- http://experiment.worldcat.org/entity/work/data/892062318#Topic/fonctionnement_multitache_congres
- http://experiment.worldcat.org/entity/work/data/892062318#Topic/algorithm_analysis_and_problem_complexity
- http://experiment.worldcat.org/entity/work/data/892062318#Topic/theory_of_computation
- http://experiment.worldcat.org/entity/work/data/892062318#Topic/information_theory
- http://experiment.worldcat.org/entity/work/data/892062318#Topic/mathematics_of_computing
- http://id.loc.gov/authorities/subjects/sh85066289
- http://id.worldcat.org/fast/1052928
- http://id.worldcat.org/fast/973149
- http://experiment.worldcat.org/entity/work/data/892062318#Topic/logics_and_meanings_of_programs
- http://experiment.worldcat.org/entity/work/data/892062318#Topic/parallelisme_informatique_congres
- http://experiment.worldcat.org/entity/work/data/892062318#Topic/parallel_processing_electronic_computers
- http://id.loc.gov/authorities/subjects/sh89003285
http://schema.org/alternateName
- "CONCUR 2009"@en
- "CONCUR 2009"
- "Concurrency theory"
http://schema.org/contributor
- http://experiment.worldcat.org/entity/work/data/892062318#Meeting/international_conference_on_concurrency_theory_20_2009_bologna
- http://experiment.worldcat.org/entity/work/data/892062318#Meeting/international_conference_on_concurrency_theory_20_2009_09_01_04_bologna
- http://experiment.worldcat.org/entity/work/data/892062318#Meeting/international_conference_on_concurrency_theory
- http://worldcat.org/entity/person/id/2639122546
- http://viaf.org/viaf/145301818
- http://worldcat.org/entity/person/id/2636180562
- http://experiment.worldcat.org/entity/work/data/892062318#Meeting/concur_20_2009_09_01_04_bologna
- http://experiment.worldcat.org/entity/work/data/892062318#Organization/concur_<_20_2009_bologna>
- http://experiment.worldcat.org/entity/work/data/892062318#Meeting/international_conference_on_concurrency_theory_concur_20_01_09_2009_04_09_2009_bologna_italy
- http://experiment.worldcat.org/entity/work/data/892062318#Meeting/international_conference_on_concurrency_theory_bologna_2009
http://schema.org/creator
- http://experiment.worldcat.org/entity/work/data/892062318#Meeting/international_conference_on_concurrency_theory_20th_2009
- http://experiment.worldcat.org/entity/work/data/892062318#Meeting/international_conference_on_concurrency_theory_20th_2009_bologna_italy
- http://worldcat.org/entity/person/id/2636180562
- http://experiment.worldcat.org/entity/work/data/892062318#Meeting/international_conference_on_concurrency_theory_20e_2009_bologne_italie
http://schema.org/description
- "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."
- "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
http://schema.org/name
- "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 : proceedings"
- "CONCUR 2009 - Concurrency Theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings"
- "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"@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 : 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"
- "CONCUR 2009 : concurrency theory : 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
http://schema.org/workExample
- http://www.worldcat.org/oclc/664802331
- http://www.worldcat.org/oclc/718203818
- http://www.worldcat.org/oclc/436207889
- http://www.worldcat.org/oclc/856676491
- http://www.worldcat.org/oclc/608613777
- http://www.worldcat.org/oclc/760872972
- http://www.worldcat.org/oclc/567206585
- http://www.worldcat.org/oclc/497019113
- http://www.worldcat.org/oclc/890651632
- http://www.worldcat.org/oclc/435374404
- http://www.worldcat.org/oclc/851021201
- http://www.worldcat.org/oclc/907471538
- http://www.worldcat.org/oclc/555707279
- http://www.worldcat.org/oclc/699165016
- http://www.worldcat.org/oclc/896271176
- http://www.worldcat.org/oclc/845574919
- http://www.worldcat.org/oclc/466169149
- http://www.worldcat.org/oclc/489218867