CONCUR 2010 - Concurrency Theory

CONCUR 2010 - Concurrency Theory
Author :
Publisher : Springer Science & Business Media
Total Pages : 613
Release :
ISBN-10 : 9783642153747
ISBN-13 : 3642153747
Rating : 4/5 (47 Downloads)

Book Synopsis CONCUR 2010 - Concurrency Theory by : Paul Gastin

Download or read book CONCUR 2010 - Concurrency Theory written by Paul Gastin and published by Springer Science & Business Media. This book was released on 2010-08-18 with total page 613 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


CONCUR 2010 - Concurrency Theory Related Books

CONCUR 2010 - Concurrency Theory
Language: en
Pages: 613
Authors: Paul Gastin
Categories: Computers
Type: BOOK - Published: 2010-08-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2010, held in Paris, France, August 31 - Septe
CONCUR 2004 -- Concurrency Theory
Language: en
Pages: 541
Authors: Philippa Gardner
Categories: Computers
Type: BOOK - Published: 2011-03-22 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK in August/September 2
CONCUR 2002 - Concurrency Theory
Language: en
Pages: 628
Authors: Lubos Brim
Categories: Computers
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Concurrency Theory, CONCUR 2002, held in Brno, Czech Republic in August 2
CONCUR 2000 - Concurrency Theory
Language: en
Pages: 631
Authors: Catuscia Palamidessi
Categories: Computers
Type: BOOK - Published: 2003-06-26 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 2
Patterns for Parallel Programming
Language: en
Pages: 786
Authors: Timothy G. Mattson
Categories: Computers
Type: BOOK - Published: 2004-09-15 - Publisher: Pearson Education

DOWNLOAD EBOOK

The Parallel Programming Guide for Every Software Developer From grids and clusters to next-generation game consoles, parallel computing is going mainstream. In