Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France (repost)

Posted By: Veslefrikk
CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France (repost)

CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France
Publisher: Springer | ISBN 10: 3642153747 | 2010 | PDF | 613 pages | 6.9 MB

This book constitutes the refereed proceedigs of the 20th International Conference on Concurrency Theory, CONCUR 2010, held in Paris, France, August 31 - September 3, 2010. The 35 revised full papers were carefully reviewed and selected from 107 submissions. The topics include: - Basic models of concurrency such as abstract machines, domain theoretic models, game theoretic models, process algebras, and Petri nets. - Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics. - Models of specialized systems such as biology-inspired systems, circuits, hybrid systems, mobile and collaborative systems, multi-core processors, probabilistic systems, real-time systems, service-oriented computing, and synchronous systems. - Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking and run-time verification.