Understanding Concurrent Systems (Texts in Computer Science)
Description:
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.
We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.