WoTUG - The place for concurrent processes

Paper Details

@InProceedings{BroeninkJovanovic04,
  title = "{G}raphical {T}ool for {D}esigning {CSP} {S}ystems",
  author= "Broenink, Jan F. and Jovanovic, Dusko S.",
  editor= "East, Ian R. and Duce, David and Green, Mark and Martin, Jeremy M. R. and Welch, Peter H.",
  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."
}

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.

Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org

Valid HTML 4.01!