ENGLISH

CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings

By Frank S. de Boer , Mohammad Mahdi Jaghoori (auth.) , Paul Gastin , François Laroussinie (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2010
ISBN
3642153747, 9783642153747
DOI
10.1007/978-3-642-15375-4
Language
english
Format
PDF
Filesize
7 MB (7265682 bytes)
Series
Lecture Notes in Computer Science 6269 : Theoretical Computer Science and General Issues
Edition
1
Pages
600\612
Topic
Computers
Time added
2011-06-04 13:46:07
CompilersInterpreters; Information Systems Applications (inSoftware Engineering; Logics and Meanings of Progr

Description

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.

Similar books