Originally reported byLuca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)
Allow the creation of components that represent a collection of I/O automata and other components, where we specify which I/O elements represent the interface of the enclosing component.
Originally reported by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)
Allow the creation of components that represent a collection of I/O automata and other components, where we specify which I/O elements represent the interface of the enclosing component.
Depends on Issue 42