MTU Library Catalogue

Syndetics cover image
Image from Syndetics

Formal methods for concurrency / Clive Fencott.

By: Fencott, P. C.
Material type: materialTypeLabelBookPublisher: London : International Thomson Computer Press, 1996Description: xiii, 290 p. : ill ; 24 cm.ISBN: 1850321736 .Subject(s): Parallel processing (Electronic computers)DDC classification: 005.42
Contents:
Introduction to concurrency -- I: Building Specifications -- A language for concurrency -- Formal definition -- A first case study -- Value passing -- Traffic lights -- Time -- The home heating system -- II: Reasoning about Specifications -- Theories of equivalence -- Equational laws -- Properties of specifications -- Safety and CCS -- III: Tools, Methods and Lifecycles -- Tool support -- Lifecycles, methods and CCS -- Implementation issues.

Includes bibliographical references (pages 283-284) and index.

Introduction to concurrency -- I: Building Specifications -- A language for concurrency -- Formal definition -- A first case study -- Value passing -- Traffic lights -- Time -- The home heating system -- II: Reasoning about Specifications -- Theories of equivalence -- Equational laws -- Properties of specifications -- Safety and CCS -- III: Tools, Methods and Lifecycles -- Tool support -- Lifecycles, methods and CCS -- Implementation issues.