Browsing by Subject "labeled transition systems"
Now showing items 1-1 of 1
-
Atomic components
(University of Waikato, Department of Computer Science, 2004-02)There has been much interest in components that combine the best of state-based and event-based approaches. The interface of a component can be thought of as its specification and substituting components with the same ...