Concur 2006 - Concurrency Theory
Author:   Christel Baier ,  Holger Hermanns
Publisher:   Springer
ISBN:  

9783540827801


Pages:   548
Publication Date:   04 September 2008
Format:   Undefined
Availability:   Out of stock   Availability explained


Our Price $65.87 Quantity:  
Add to Cart

Share |

Concur 2006 - Concurrency Theory


Add your own review!

Overview

This book constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory, CONCUR 2006, held in Bonn, Germany in August 2006.

The 29 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections on model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.

Full Product Details

Author:   Christel Baier ,  Holger Hermanns
Publisher:   Springer
Imprint:   Springer
Dimensions:   Width: 23.40cm , Height: 2.80cm , Length: 15.60cm
Weight:   0.757kg
ISBN:  

9783540827801


ISBN 10:   3540827803
Pages:   548
Publication Date:   04 September 2008
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:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now