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.