CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings - Theoretical Computer Science and General Issues 5201 (Paperback)
  • CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings - Theoretical Computer Science and General Issues 5201 (Paperback)
zoom

CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings - Theoretical Computer Science and General Issues 5201 (Paperback)

(volume editor), (volume editor)
£90.00
Paperback 524 Pages / Published: 30/07/2008
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540853602
Number of pages: 524
Weight: 819 g
Dimensions: 235 x 155 x 27 mm
Edition: 2008 ed.

You may also be interested in...

SQL in Easy Steps
Added to basket
£10.99
Paperback
C Programming in Easy Steps
Added to basket
SQL in 10 Minutes, Sams Teach Yourself
Added to basket
How to Build a Billion Dollar App
Added to basket
Learning Python
Added to basket
£51.99
Paperback
Learn Python the Hard Way
Added to basket
£29.48
Mixed media product
Python in Easy Steps
Added to basket
SQL For Dummies
Added to basket
£21.99
Paperback
Automate The Boring Stuff With Python
Added to basket
C++ For Dummies
Added to basket
£21.99
Paperback
Designing Data-Intensive Applications
Added to basket
Coding for Beginners in easy steps
Added to basket
Eloquent Javascript, 2nd Ed.
Added to basket
Python For Dummies
Added to basket
£22.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.