Concurrent Systems Formal Development in CSP

Name: Concurrent Systems Formal Development in CSP
Availability: OutOfStock
ISBN: 9780077076498

ISBN-10: 0077076494

ISBN-13: 9780077076498

Edition: 1st 1995

Authors: Michael G. Hinchey, Stephen A. Jarvis

List price: $40.00

30 day, 100% satisfaction guarantee!

Out of stock

We're sorry. This item is currently unavailable.

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

This text serves as both a practical reference manual and an introduction for students using the formal specification language CSP and implementing it in the specification and verification of complex, real time and distributed systems. The book contains a tutorial introduction suitable for beginners and uses many examples as well as a realistic case study. The implementation of this case study in occam is described and the implementation of CSP in Ada 9x is also discussed. In addition, up-to-date coverage of the important new variants of CSP is provided and a complete listing of the laws of CSP is given.

Book details

List price: $40.00
Edition: 1st
Copyright year: 1995
Publisher: McGraw-Hill Companies, The
Binding: Paperback
Pages: 181
Size: 7.00" wide x 9.75" long x 0.50" tall
Weight: 0.792
Language: English

Foreword
Trademarks
Preface
Introduction	p. 2
An Introduction to CSP	p. 7
Semantic Models	p. 27
Variants of CSP	p. 45
Laws of CSP	p. 69
Elements of CSP Style	p. 99
Case Study: Verification of a reliable network protocol	p. 109
occam	p. 131
Refinement	p. 149
Select CSP and occam Bibliography	p. 165
Index	p. 177
Table of Contents provided by Blackwell. All Rights Reserved.