Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Parallel Programming

Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)


Blowout Sale! Save 58% on the Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science) by Cambridge University Press at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such


Product Description

This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Compositional concurrency verification methods reduce the verification of a concurrent program to the independent verification of its parts. If those parts are tightly coupled, one additionally needs verification methods based on the causal order between events. These are presented using CCL. The semantic approach followed here allows a systematic presentation of all these concepts in a unified framework which highlights essential concepts. The book is self-contained, guiding the reader from advanced undergraduate level to the state-of-the-art. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.

Additional Information

Manufacturer:Cambridge University Press
Publisher:Cambridge University Press
Studio:Cambridge University Press
EAN:9780521806084
Item Weight:2.56 pounds
Item Size:1.69 x 8.98 x 8.98 inches
Package Weight:2.56 pounds
Package Size:6.32 x 1.67 x 1.67 inches

Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science) by Cambridge University Press

Buy Now:
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)

Brand: Cambridge University Press
4.0 out of 5 stars with 53 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$340.00
$144.83
You Save: 57%


Quantity:  

 


View More In Parallel Programming.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Cambridge University Press, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


ean: 9780262519502, isbn: 026251950X,
Practical Parallel Programming provides scientists and engineers with a detailed, informative, and often critical introduction to parallel programming techniques.Parallel computers have become widely available in recent years. Many scientists are now...

sku: HH-005-37-3797103, ean: 9780131150072, isbn: 0131150073,
Communication and Concurrency develops a general calculus of concurrent programming from first principles. The book provides an understanding of concurrency through a very small number of primitive ideas and illustrates how these ideas apply to hardw...

ean: 9780128036631, isbn: 012803663X,
Pervasive Computing: Next Generation Platforms for Intelligent Data Collection presents current advances and state-of-the-art work on methods, techniques, and algorithms designed to support pervasive collection of data under ubiquitous networks of de...

ean: 9781461276067, isbn: 1461276063,
1.1 Background There are many paradigmatic statements in the literature claiming that this is the decade of parallel computation. A great deal of research is being de­ voted to developing architectures and algorithms for parallel machines with thous...

mpn: 978-0-470-89165-0, ean: 9780470891650, isbn: 0470891653,
Optimize code for multi-core processors with Intel's Parallel Studio Parallel programming is rapidly becoming a "must-know" skill for developers. Yet, where to start? This teach-yourself tutorial is an ideal starting point for developers who already ...

ean: 9780471453253, isbn: 0471453250,
The first extensive reference on these important techniques The restructuring of the electric utility industry has created the need for a mechanism that can effectively coordinate the various entities in a power market, enabling them to communicate e...

sku: VIN013508301X, ean: 9780135083017, isbn: 013508301X,
This bok employs a tutorial approach to guide the reader through the programming of real-time and distributed fault-tolerant systems. Written by experts in the field, this practically-oriented bok shows how the use of ERLANG results in modular system...

mpn: 8 black & white tables, biography, ean: 9783642799198, isbn: 3642799191,
It is widely recognized that the complexity of parallel and distributed systems is such that proper tools must be employed during their design stage in order to achieve the quantitative goals for which they are intended. This volume collects recent r...

ean: 9781584504047, isbn: 1584504048,
complex GUIs and artificial intelligence. If you're a developer just starting to use Lua, or you're considering using it, Game Development with Lua will teach you everything you need to know. And if you're new to scripting languages altogether, this ...

ean: 9781118864630, isbn: 1118864638,
Addresses innovations in technology relating to the energy efficiency of a wide variety of contemporary computer systems and networks With concerns about global energy consumption at an all-time high, improving computer networks energy efficiency is ...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.