Communicating Process Architectures 2006
Download or Read eBook Communicating Process Architectures 2006 PDF written by Peter H. Welch and published by IOS Press. This book was released on 2006 with total page 418 pages. Available in PDF, EPUB and Kindle.
Author | : Peter H. Welch |
Publisher | : IOS Press |
Total Pages | : 418 |
Release | : 2006 |
ISBN-10 | : 1586036718 |
ISBN-13 | : 9781586036713 |
Rating | : 4/5 (18 Downloads) |
Book Synopsis Communicating Process Architectures 2006 by : Peter H. Welch
Book excerpt: 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.