by
WoTUG Technical Meeting (33rd : 2011 : Limerick, Ireland)
Call Number
004
Publication Date
2011
Summary
This book is a collection of the papers presented at the 33rd Communicating Process Architecture (CPA) conference, held at the University of Limerick, Ireland, 19-22 June, 2011. It was hosted by Lero, the Irish Software Engineering Research Centre, and co-located with FM 2011 (the 17th International Symposium on Formal Methods), SEW-34 (the 34th Annual IEEE Software Engineering Workshop) and several specialist workshops and tutorials. These CPA proceedings contain the results from rich seams of research covering many of the key issues in modern computer science, which all seem to concern concu.
Format:
Electronic Resources
Relevance:
0.0546
View Other Search Results
by
WoTUG Technical Meeting (29th : 2006 : Edinburgh, Scotland)
Call Number
004.35 22
Publication Date
2006
Summary
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.
Format:
Electronic Resources
Relevance:
0.0415
View Other Search Results
Limit Search Results
Narrowed by: