Search
 
loader loading subjects...
cover
Concurrent/Reactive System Design with Honeysuckle
Ian East
109 - 118
Concurrent Systems Engineering Series
Volume 65: Communicating Process Architectures 2007
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.

$35.00 / €27.50 / £22.00
Add PDF to cart