Author: Peter H. Welch
Publisher: IOS Press
ISBN: 9781586036713
Category : Computers
Languages : en
Pages : 418
Book Description
Contains papers from the conference Communicating Process Architectures, 2006. This work talks about various aspects of communicating process theory and their application to designing and building systems. It includes a case study on large scale formal development and verification, CSP mechanisms for Microsoft's .NET framework, and more.