Concur 2009 - Concurrency Theory
Author:   Mario Bravetti ,  Gianluigi Zavattaro
Publisher:   Springer
ISBN:  

9783642040825


Pages:   656
Publication Date:   04 September 2009
Format:   Undefined
Availability:   Out of stock   Availability explained


Our Price $65.87 Quantity:  
Add to Cart

Share |

Concur 2009 - Concurrency Theory


Overview

This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2009, held in Bologna, Italy, September 1-4, 2009.

The 37 revised full papers presented together with four invited papers were carefully reviewed and selected from 129 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.

Full Product Details

Author:   Mario Bravetti ,  Gianluigi Zavattaro
Publisher:   Springer
Imprint:   Springer
Dimensions:   Width: 23.40cm , Height: 3.50cm , Length: 15.60cm
Weight:   0.903kg
ISBN:  

9783642040825


ISBN 10:   3642040829
Pages:   656
Publication Date:   04 September 2009
Audience:   General/trade ,  General
Format:   Undefined
Publisher's Status:   Unknown
Availability:   Out of stock   Availability explained

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

April RG 26_2

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now