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 Graphical Tool for Designing CSP Systems db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%A Jan F. Broenink, Dusko S. Jovanovic db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%E Ian R. East, David Duce, Mark Green, Jeremy M. R. Martin, Peter H. Welch %B Communicating Process Architectures 2004 %X For a broad acceptance of an engineering paradigm, a graphical notation and supporting design tool seem inevitable. This paper discusses certain issues of developing a design environment for building systems based on CSP. Some of the issues discussed depend specifically on the underlying theory of CSP, while a number of them are common for any graphical notation and supporting tools, such as provisions for complexity management and design overview.