@InProceedings{East08,
  title =        "{P}rioritized {S}ervice {A}rchitecture: {R}efinement and {V}isual {D}esign",
  author=        "East, Ian R.",
  editor=        "Welch, Peter H. and Stepney,  S. and Polack,  F.A.C and Barnes,  Frederick R. M. and McEwan,  Alistair A. and Stiles,  G. S. and Broenink,  Jan F. and Sampson,  Adam T.",
  pages =        "99--113",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2008",
  isbn=          "978-1-58603-907-3",
  year=          "2008",
  month=         "sep",
  abstract=      "Concurrent/reactive systems can be designed free of
     deadlock
using prioritized service architecture (PSA),
     subject to simple,
statically verified, design rules. The
     Honeysuckle Design Language
(HDL) enables such
     service-oriented design to be expressed purely
in terms of
     communication, while affording a
     process-oriented
implementation, using the Honeysuckle
     Programming Language (HPL). A
number of enhancements to the
     service model for system abstraction
are described, along
     with their utility. Finally, a new graphical
counterpart to
     HDL (HVDL) is introduced that incorporates all
     these
enhancements, and which facilitates interactive
     stepwise refinement."
}