Sign In | Not yet a member? | Submit your article
 
Home   Technical   Study   Novel   Nonfiction   Health   Tutorial   Entertainment   Business   Magazine   Arts & Design   Audiobooks & Video Training   Cultures & Languages   Family & Home   Law & Politics   Lyrics & Music   Software Related   eBook Torrents   Uncategorized  

CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings (Lecture Notes ... Computer Science and General Issues)
CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings (Lecture Notes ... Computer Science and General Issues)
Date: 22 May 2011, 18:06
Product Description: 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.

DISCLAIMER:

This site does not store CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings (Lecture Notes ... Computer Science and General Issues) on its server. We only index and link to CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings (Lecture Notes ... Computer Science and General Issues) provided by other sites. Please contact the content providers to delete CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings (Lecture Notes ... Computer Science and General Issues) if any and email us, we'll remove relevant links or contents immediately.


Posts related to "CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings (Lecture Notes ... Computer Science and General Issues)"
CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (Lecture Notes in Computer Science) CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (Lecture Notes in Computer Science)

ISBN/ASIN: 354022940X
Total size: 16.07 MB
Biomedical Simulation: 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Biomedical Simulation: 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

ISBN/ASIN: 3540705201
Total size: 17.7 MB
Advances in Computer Systems Architecture: 9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004, Proceedings (Lecture Notes in Computer Science) Advances in Computer Systems Architecture: 9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004, Proceedings (Lecture Notes in Computer Science)

ISBN/ASIN: 3540230033
Total size: 15.7 MB
Wavelet Analysis and Its Applications: Second International Conference, WAA 2001, Hong Kong, China, December 18-20, 2001. Proceedings (Lecture Notes in Computer Science) Wavelet Analysis and Its Applications: Second International Conference, WAA 2001, Hong Kong, China, December 18-20, 2001. Proceedings (Lecture Notes in Computer Science)

ISBN/ASIN: 3540430342
Total size: 8 MB
WALCOM: Algorithms and Computation: Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues) WALCOM: Algorithms and Computation: Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues)

ISBN/ASIN: 354077890X
Total size: 3 MB
Fun and Games: Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering) Fun and Games: Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

ISBN/ASIN: 3540883215
Total size: 66 MB
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings (Lecture Notes in Computer Science) Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings (Lecture Notes in Computer Science)

ISBN/ASIN: 3540223800
Total size: 5.1 MB
Algorithmic Number Theory: 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Algorithmic Number Theory: 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

ISBN/ASIN: 3642145175
Total size: 1.5 MB
Rainbow of Computer Science: Essays Dedicated to Hermann Maurer on the Occasion of His 70th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Rainbow of Computer Science: Essays Dedicated to Hermann Maurer on the Occasion of His 70th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

ISBN/ASIN: 3642193900
Total size: 5 MB

Comments

Comments (0) All

Verify: Verify

    Sign In   Not yet a member?


Popular searches
running