db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>

%T Design Principles of the SystemCSP Software Framework
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A  Bojan Orlic,  Jan F. Broenink
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%E  Alistair A. McEwan,  Steve Schneider,  Wilson Ifill, Peter H. Welch
%B Communicating Process Architectures 2007
%X SystemCSP is a graphical design specification language aimed
   to serve
as a basis for the specification of formally
   verifiable component\-based designs. This paper defines a
   mapping from SystemCSP designs to a software
   implementation.
The possibility to reuse existing practical
   implementations was analyzed.
Comparison is given for
   different types of execution engines usable in
   implementing
concurrent systems. The main part of the text
   introduces and explains the design
principles behind the
   software implementation. A synchronization mechanism
   is
introduced that can handle CSP kind of events with event
   ends possibly scattered on
different nodes and OS threads,
   and with any number of participating event ends,
possibly
   guarded by alternative constructs.