Concurrency Verification

Name: Concurrency Verification
Brand: Cambridge University Press
SKU: 9780521806084
Price: 6337 CZK
Availability: InStock

Introduction to Compositional and Non-compositional Methods

Autor: Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Hooman, Jozef (Katholieke Universiteit Nijmegen, The Netherlands), Yassine (Universite Joseph Fourier) Lakhnech, Poel, Mannes (University of Twente, E

Jazyk:

Vazba: Pevná

Vydavatel: Cambridge University Press

Dostupnost: Skladem u dodavatele

Odesíláme za 9-15 dnů

6 337 Kč

This is a systematic and comprehensive introduction both to compositional proof methods for the stat...

Informace o knize

Kompletní popis

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. This 2001 book is self-contained, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

Informace o knize

Kompletní popis

Mohlo by vás zajímat

The Conspiracy Against the Human Race

Language of Stitches

Applied Computer Sciences in Engineering

Seeing Stone

The History of Middle-Earth Boxed Set

Potassium Health Secrets Revealed: Create an Alkaline Body With Potassium

Fundamentals of Environmental Management

Changes of the Heart: Martha Beck Life Coaches Share Strategies for Facing Life Challenges

Lethal Choices

Happily Ever After

Tales from the Mom Front

Room and Furniture Layout Kit

Cold Antler Farm

Atomic and Molecular Data and Their Applications

Zákaznicí kteří koupili tuto knihu koupili také

Las 500 dudas más frecuentes del espa?ol

Du Parjure Sous Louis XVIII, Suivi de Quelques Observations Sur Les Adresses

Orkiestra z Auschwitz

Trötsch Schultüte 50 cm Einhorn

Quo vadis ecclesia?

Archiv für Anthropologie, Völkerforschung und kolonialen Kulturwandel