db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%T SystemCSP \- Visual Notation
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%A Bojan Orlic, Jan F. Broenink
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%E Peter H. Welch, Jon Kerridge, Frederick R. M. Barnes
%B Communicating Process Architectures 2006
%X This paper introduces SystemCSP \- a design methodology
based on a visual notation that can be mapped onto CSP
expressions. SystemCSP is a graphical design specification
language aimed to serve as a basis for the specification of
formally verifiable component\-based designs of distributed
real\-time systems. It aims to be a graphical formalism that
covers various aspects needed for the design of distributed
real\-time systems in single framework.