%T Tutorial: Prioritised Service Architecture using Honeysuckle
%A Ian R. East
%E  Jan F. Broenink,  Gerald H. Hilderink
%B Communicating Process Architectures 2003
%X 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.