Concurrent Systems : Formal Development in CSP

Hinchey, Michael G., Jarvis, Stephen A.

ISBN 10: 0077076494 / ISBN 13: 9780077076498

Verlag: McGraw-Hill Companies, The, 1995

Beschreibung

Ships from the UK. Used book that is in clean, average condition without any missing pages.

Bestandsnummer des Verkäufers 53298444-20

Bibliografische Details

• Titel: Concurrent Systems : Formal Development in CSP
• Verlag: McGraw-Hill Companies, The
• Erscheinungsjahr: 1995
• Sprache: Englisch
• ISBN-10: 0077076494
• ISBN-13: 9780077076498
• Einband: Softcover
• Zustand: Good

Über diesen Titel

Inhaltsangabe

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.

Über die Autorin bzw. den Autor

Michael G. Hinchey is currently with the University of Cambridge Computer Laboratory and a member of faculty in the Real-Time Computing Laboratory at New Jersey Institute of Technology, USA.