Concurrent Systems
Formal Development in CSP
Published on 10. February 1995
Book
Paperback/Softback
181 pages
978-0-07-707649-8 (ISBN)
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.
More details
Series
Language
English
Place of publication
London
United Kingdom
Publishing group
McGraw-Hill Education - Europe
Target group
College/higher education
Professional and scholarly
Illustrations
bibliography
Dimensions
Height: 246 mm
Width: 170 mm
Weight
360 gr
ISBN-13
978-0-07-707649-8 (9780077076498)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
An introduction to CSP; semantic models; variants of CSP; laws of CSP; elements of CSP style; case study - a reliable network protocol; occam; refinement; select CSP and occam bibliography.