Close
Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Search
Decidability of Parameterized Verification

Decidability of Parameterized Verification (Paperback)

£50.95
Printed to order. Despatched in 2-3 weeks.
Email me when back in stock

Synopsis

While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems ??(n) parameterized by n ? ?, whether, for all n ? ?, the system ??(n) satisfies a specification. In this book we consider the important case of ??(n) being a concurrent system, where the number of replicated processes depends on the parameter n but each process is independent of n. Examples are cache coherence protocols, networks of finite-state agents, and systems that solve mutual exclusion or scheduling problems. Further examples are abstractions of systems, where the processes of the original systems actually depend on the parameter.The literature in this area has studied a wealth of computational models based on a variety of synchronization and communication primitives, including token passing, broadcast, and guarded transitions. Often, different terminology is used in the literature, and results are based on implicit assumptions. In this book, we introduce a computational model that unites the central synchronization and communication primitives of many models, and unveils hidden assumptions from the literature. We survey existing decidability and undecidability results, and give a systematic view of the basic problems in this exciting research area.

Computing & ITComputer scienceComputer architecture & logic designParallel processing Publisher: Morgan & Claypool Publishers Publication Date: 30/09/2015 ISBN-13: 9781627057431  Details: Type: Paperback Format: Books
Availability: Printed to order. Despatched in 2-3 weeks.  

More books by Roderick Bloem

More books by Swen Jacobs

More books by Ayrat Kalimov

More books by Igor Konnov

Leave Review

Delivery

Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Second Class Available free for ALL orders. No charge for each additional book. 3-7 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Introduction to Parallel Computing
(Hardback)
Zbigniew J. Czech
 
 
£59.99
 
Programming Massively Parallel...
(Paperback)
David B. Kirk; Wen-mei W. Hwu
 
 
£48.99
 
Instruction Level Parallelism
(Hardback)
Alex Aiken; Utpal Banerjee; Arun...
 
 
£52.99
 
Big Data Science & Analytics: A...
(Hardback)
Arshdeep Bahga; Vijay Madisetti
 
 
£60.00
 

Currently out of stock

Latest Blog
#FoylesFive: Picture Books for Black History Month
20/10/2017

Our Birmingham shop is celebrating Black History Month with an array of new and exciting picture books for children.

Caroline Taggart on Why Punctuation Can be Surprisingly Exciting
18/10/2017

Caroline Taggart explains the versatility of punctuation.

Under the Knife: Recreating the Grimy World of Victorian Surgery
17/10/2017

Lindsey describes how she made the trailer for her debut The Butchering Art in order to see how the sights, sounds, and smells of this gruesome period in medical history would translate onto the screen.

View all Blog Entries
Twitter
Show/Hide Tweets
© W&G Foyle Ltd