.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Concurrency Theory
Bowman, Howard; Gomez, Rodolfo
€ 196.75
FREE Delivery in Ireland
Description for Concurrency Theory
Hardback. Offers an introduction to LOTOS highlighting how the approach differs from competitor techniques such as CCS and CSP. The authors also generalise the simple communicating automata notation to yield timed automata with multi-way synchronisation using model-checking verification methods and new techniques to prevent time-locks from arising. Num Pages: 422 pages, 126 black & white illustrations, 4 black & white tables, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 847.
Intheworldweliveinconcurrencyisthenorm.Forexample,thehumanbody isamassivelyconcurrentsystem,comprisingahugenumberofcells,allsim- taneously evolving and independently engaging in their individual biological processing.Inaddition,inthebiologicalworld,trulysequentialsystemsrarely arise. However, they are more common when manmade artefacts are cons- ered. In particular, computer systems are often developed from a sequential perspective. Why is this? The simple reason is that it is easier for us to think about sequential, rather than concurrent, systems. Thus, we use sequentiality as a device to simplify the design process. However, the need for increasingly powerful, ?exible and usable computer systems mitigates against simplifying sequentiality assumptions. A good - ample of this is the all-powerful position held by the Internet, which is ... Read more
Intheworldweliveinconcurrencyisthenorm.Forexample,thehumanbody isamassivelyconcurrentsystem,comprisingahugenumberofcells,allsim- taneously evolving and independently engaging in their individual biological processing.Inaddition,inthebiologicalworld,trulysequentialsystemsrarely arise. However, they are more common when manmade artefacts are cons- ered. In particular, computer systems are often developed from a sequential perspective. Why is this? The simple reason is that it is easier for us to think about sequential, rather than concurrent, systems. Thus, we use sequentiality as a device to simplify the design process. However, the need for increasingly powerful, ?exible and usable computer systems mitigates against simplifying sequentiality assumptions. A good - ample of this is the all-powerful position held by the Internet, which is ... Read more
Product Details
Format
Hardback
Publication date
2005
Publisher
Springer London Ltd United Kingdom
Number of pages
422
Condition
New
Number of Pages
422
Place of Publication
England, United Kingdom
ISBN
9781852338954
SKU
V9781852338954
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Concurrency Theory
From the reviews: "This book covers a wide range of results from works in concurrency theory … . scientists and students doing research in various related areas such as concurrency control or parallel computing will find this book quite useful. … the book represents a comprehensive coverage of the development of concurrency theory reflecting the ... Read more