Search
 
loader loading subjects...
cover
CSP++: How Faithful to CSPm?
W.B. Gardner
129 - 146
Concurrent Systems Engineering Series
Volume 63: Communicating Process Architectures 2005
Abstract

CSP++ is a tool that makes specifications written in CSPm executable and extensible. It is the basis for a technique called selective formalism, which allows part of a system to be designed in verifiable CSPm statements, automatically translated into C++, and linked with functions coded in C++. This paper describes in detail the subset of CSPm that can be accurately translated by CSP++, and how the CSP semantics are achieved by the runtime framework. It also explains restrictions that apply to coding in CSPm for software synthesis, and the rationale for those restrictions.

$35.00 / €27.50 / £22.00
Add PDF to cart