Updates
Latest Tweet
What's New?
Check out for latest innovation, a computer based training video collection
Like this Page
CONCUR 2008 - Concurrency Theory
PreviewsAmazon Readr |
Share this Great Computer eBookLink to this page |
Our CollectionPrevNext |
|
The topics include model checking, Bate process, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal language.
Computer eBook Details
- ISBN-10: 354085360X
- ISBN-13: 9783540853602
- Publisher: Springer
- Pages: 524
- Date: September 2008
- Series: Lecture Notes in Computer