123
click to vote
ECBS
2009
IEEE
15 years 6 months ago
2009
IEEE
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...