db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>

%T Concurrent/Reactive System Design with Honeysuckle
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A Ian R. East
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%E  Alistair A. McEwan,  Steve Schneider,  Wilson Ifill, Peter H. Welch
%B Communicating Process Architectures 2007
%X Honeysuckle is a language in which to describe systems with
   prioritized
service architecture (PSA), whereby processes
   communicate values and (mobile) objects deadlock\-free under
   client\-server protocol. A novel syntax for the description
   of service (rather than process) composition is presented
   and the relation to implementation discussed. In particular,
   the proper separation of design and implementation becomes
   possible, allowing independent abstraction and verification.