Paper Details

Communicating Process Architectures (CPA)
 Title: Concurrent/Reactive System Design with Honeysuckle
 Conference: Communicating Process Architectures 2007
 Authors: Ian East
Open Channel Publishing Ltd.
 Abstract: 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. 
Files:


BibTeX Entry


Full paper