CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings
| Author/creator | Gastin, Paul Volume Editor |
| Other author | Laroussinie, Francois Volume Editor |
| Format | Electronic |
| Publication Info | New York : Springer |
| Description | xiii, 600 p. |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2010 English International |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Subjects |
| Series | Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Ser. |
| Summary | Annotation This book constitutes the refereed proceedings 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. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9783642153747 |
| ISBN | 3642153747 (Trade Paper) Active Record |
| Standard identifier# | 9783642153747 |
| Stock number | 3642153747 00024965 |