Location & Hours
WPG1-800-561-1833
SK1-877-506-7456
0
Account Login Winnipeg Toll-Free: 1-800-561-1833 SK Toll-Free: 1-877-506-7456 Contact & Locations

 

parsed(2009-08-17) - pubdate: 2009-08-17
turn:
pub date: 1250485200
today: 1742878800, pubdate > today = false

nyp: 0;

Concur 2009 - Concurrency Theory

20th International Conference, Concur 2009, Bologna, Italy, September 1-4, 2009, Proceedings

by Mario Bravetti, Gianluigi Zavattaro
August 17, 2009 | Trade Paperback
ISBN: 9783642040801
$185.95
Out of stock. Available to order from publisher. We will confirm shipping time when order has been placed.
Checking Availibility...

Description

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.

Computers / Logic Design Computers / Computer Science Computers / Information Technology

We're sorry, but this item is not eligible for a Reader Reward discount.

About this Author

ISBN: 9783642040801
Format: Trade Paperback
Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Pages: 638
Publisher: Springer
Published: 2009-08-17

If the product is in stock at the store nearest you, we suggest you call ahead to have it set aside for you, or you may place an order online and choose in-store pickup.