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.