Hoppa till sidans huvudinnehåll

CONCUR 2008 - Concurrency Theory

19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings

Häftad, Engelska, 2008

AvFranck van Breugel,Marsha Chechik

739 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.


This volume contains the proceedings of the 19th International Conference on Concurrency Theory (CONCUR 2008) which took place at the University of TorontoinToronto,Canada,August19–22,2008. CONCUR2008wasco-located with the 27th Annual ACM SIGACT-SIGOPS Symposium on the Principles of Distributed Computing (PODC 2008), and the two conferences shared two invited speakers, some social events, and a symposium celebrating the lifelong research contributions of Nancy Lynch. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the scienti?c relevance of their foundations. Topics include basic models of concurrency (such as abstract machines, domain theoretic m- els, game theoretic models, process algebras, and Petri nets), logics for c- currency (such as modal logics, temporal logics and resource logics), models of specialized systems (such as biology-inspired systems, circuits, hybrid systems, mobile systems, multi-core processors, probabilistic systems, real-time systems, synchronoussystems, and Web services),veri?cationand analysis techniques for concurrent systems (such as abstract interpretation, atomicity checking, mod- checking, race detection, run-time veri?cation, state-space exploration, static analysis,synthesis,testing, theorem provingand type systems), andrelated p- gramming models (such as distributed or object-oriented). Of the 120 regular and 5 tool papers submitted this year, 33 regular and 2 tool papers were accepted for presentation and areincluded in the present v- ume.

Produktinformation

  • Utgivningsdatum2008-07-30
  • Mått155 x 235 x 29 mm
  • Vikt809 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor524
  • Upplaga2008
  • FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN9783540853602
Hoppa över listan

Du kanske också är intresserad av

Marsha Chechik, Joost-Pieter Katoen, Martin Leucker - Formal Methods, Häftad
Del 14000

Formal Methods

Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

Häftad, 2023

1 479 kr

Lars Kepler - Medusa, Inbunden
  • Nyhet
Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Sara Strömberg - Sot, Pocket
  • Nyhet
Del 4

Sot

Sara Strömberg

Pocket, 2026

79 kr129 kr

Sara Strömberg - Skinn, Pocket
Del 3

Skinn

Sara Strömberg

Pocket, 2024

79 kr129 kr