Sciweavers

FORTE
2004
13 years 9 months ago
Composing Event Constraints in State-Based Specification
Abstract. Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints o...
Tommaso Bolognesi
COORDINATION
2006
Springer
13 years 11 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...