An Algebraic Theory of Interface Automata
We formulate a compositional specification theory for interface automata, where a component model specifies the allowed sequences of input and output interactions with the environment. A trace-based linear-time refinement is provided, which is the weakest preorder preserving substitutivity of compon...
| Main Authors: | , , |
|---|---|
| Format: | Report |
| Published: |
DCS
2013
|