Communicating process architectures 2006 : WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland / edited by Peter H. Welch, Jon Kerridge and Frederick R.M. Barnes
Title page; Preface; Programme Committee; Contents; SpaceWire -- DS-Links Reborn; An Introduction to CSP.NET; Performance Evaluation of JCSP Micro Edition: JCSPme; Ubiquitous Access to Site Specific Services by Mobile Devices: The Process View; CSP for .NET Based on JCSP; pony -- The occam-pi Network Environment; A Study of Percolation Phenomena in Process Networks; Portable CSP Based Design for Embedded Multi-Core Systems; A JCSP.net Implementation of a Massively Multiplayer Online Game; SystemCSP -- Visual Notation; Interacting Components
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
