WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/906165840

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.

Open All Close All

type

about

http://schema.org/about

alternateName

contributor

creator

description

http://schema.org/description

  • "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

editor

genre

http://schema.org/genre

  • "Lissabon (2007)"
  • "Conference papers and proceedings"@en
  • "Conference papers and proceedings"
  • "Ressources Internet"
  • "Kongress"
  • "Electronic books"@en
  • "Electronic books"

name

http://schema.org/name

  • "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 - 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"
  • "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"@en
  • "CONCUR 2007 - Concurrency Theory 18th International Conference, CONCUR 2007 Lisbon, Portugal, September 3-8, 2007 Proceedings"

workExample