@InProceedings{Hilderink02,
  title =        "{A} {G}raphical {M}odeling {L}anguage for {S}pecifying {C}oncurrency based on {CSP}",
  author=        "Hilderink,  Gerald H.",
  editor=        "Pascoe,  James S. and Loader,  Roger J. and Sunderam,  Vaidy S.",
  pages =        "255--284",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2002",
  isbn=          "1 58603 268 2",
  year=          "2002",
  month=         "sep",
  abstract=      "In this paper, we introduce a graphical specification
     language for modeling concurrency in software design. The
     language notations are derived from CSP and the resulting
     designs form so-called CSP diagrams. The notations reflect
     data-flow aspects, control-flow aspects, and they reflect
     CSP algebraic expressions that can be used for formal
     analysis. The designer does not have to be aware of the
     underlying mathematics. The techniques and rules presented
     provide guidance to the development of concurrent software
     architectures. One can detect and reason about compositional
     conflicts (errors in design), potential deadlocks (errors at
     run-time), and priority inversion problems (performance
     burden) at a high level of abstraction. The CSP diagram
     collaborates with object-oriented and structured methods.
     The CSP diagram is UMLable and can be presented as a new
     process diagram for the UML to capture concurrent,
     real-time, and event-flow oriented software architectures.
     The extension to the UML is not presented in this paper."
}