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"
@InProceedings{BroeninkJovanovic04,
title = "{G}raphical {T}ool for {D}esigning {CSP} {S}ystems",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
author= "Broenink, Jan F. and Jovanovic, Dusko S.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
editor= "East, Ian R. and Duce, David and Green, Mark and Martin, Jeremy M. R. and Welch, Peter H.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
pages = "233--252",
booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2004",
isbn= "1 58603 458 8",
year= "2004",
month= "sep",
abstract= "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."
}