Titlebook: CONCUR 2008 - Concurrency Theory; 19th International C Franck Breugel,Marsha Chechik Conference proceedings 2008 Springer-Verlag Berlin Hei

follicle

Asseverate

Knowledge and Information in Probabilistic Systemsding. There are several ingredients in the cauldron: some new, some not so new. The old ingredients are process algebra, bisimulation and other equivalences and modal logics. The not-so-old ingredients are probability, mobility and real-time, and the new ingredients are knowledge, games and information theory.

micturition

Taming Concurrency: A Program Verification Perspectiveral-purpose software applications must find ways to exploit concurrency explicitly in order to take advantage of multiple cores. However, experience has shown that explicitly parallel programs are difficult to get right. To deliver compelling software products in the multi-core era, we must improve our ability to reason about concurrency.

酷熱

RLS898

meditation

分發(fā)

CONCUR 2008 - Concurrency Theory978-3-540-85361-9Series ISSN 0302-9743 Series E-ISSN 1611-3349

墻壁

Atmosphere

New Perspectives on South-East Europeral-purpose software applications must find ways to exploit concurrency explicitly in order to take advantage of multiple cores. However, experience has shown that explicitly parallel programs are difficult to get right. To deliver compelling software products in the multi-core era, we must improve our ability to reason about concurrency.

做事過頭