Browsing by Subject "labeled transition systems"

Now showing items 1-1 of 1

  • Atomic components

    Reeves, Steve; Streader, David (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 ...