@InProceedings{East03,
  title =        "{T}utorial: {P}rioritised {S}ervice {A}rchitecture using {H}oneysuckle",
  author=        "East, Ian R.",
  editor=        "Broenink,  Jan F. and Hilderink,  Gerald H.",
  pages =        "33--36",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2003",
  isbn=          "1 58603 381 6",
  year=          "2003",
  month=         "sep",
  abstract=      "An update will be presented on the progress in establishing
     the Honeysuckleprogramming language [1] and its formal
     foundations. The latter are formallyaddressed in a paper
     currently under review for journal publication [2], but
     willbe summarised. They include formal definitions of
     service protocol plus servicenetwork/component (SNC) and the
     PSA design rule (PSADR), from which aproof of a priori
     deadlock-freedom emerges directly. Freedom from priority
     conflict(and thus inversion) is also easily guaranteed.
     Closure in the definition of systemand component guarantees
     true compositionality under both concurrency andprioritised
     alternation."
}