Understanding Concurrent Systems (Texts in Computer Science)

Understanding Concurrent Systems (Texts in Computer Science)

by A . W . Roscoe (Author)

Synopsis

Since the introduction of Hoares' Communicating Sequential Process (CSP) notation, powerful new tools have transformed CSP into a practical way of describing industrial-sized problems. This book presents the basic CSP knowledge needed to utilize those tools.

$127.73

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 533
Edition: 1st Edition.
Publisher: Springer
Published: 25 Oct 2010

ISBN 10: 184882257X
ISBN 13: 9781848822573