Communicating Process Architectures 2006: WoTUG-29 Proceedings

Welch, Peter H. and Kerridge, J. and Barnes, Frederick R.M., eds. (2006) Communicating Process Architectures 2006: WoTUG-29 Proceedings. Concurrent Systems Engineering , 64 . IOS Press, US, Amsterdam, 400 pp. ISBN 9781586036713. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)

Abstract

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.

Item Type: Edited book
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Divisions: Faculties > Science Technology and Medical Studies > School of Computing
Depositing User: Suzanne Duffy
Date Deposited: 11 Sep 2008 13:13
Last Modified: 17 Apr 2014 14:34
Resource URI: http://kar.kent.ac.uk/id/eprint/12963 (The current URI for this page, for reference purposes)
  • Depositors only (login required):