Pages that link to "Item:Q2350491"
From MaRDI portal
The following pages link to Richer interface automata with optimistic and pessimistic compatibility (Q2350491):
Displaying 5 items.
- Moving from interface theories to assembly theories (Q2340257) (← links)
- ACTL for modal interface automata (Q2404073) (← links)
- A generalised theory of interface automata, component compatibility and error (Q2415373) (← links)
- Nondeterministic modal interfaces (Q2629098) (← links)
- A Generalised Theory of Interface Automata, Component Compatibility and Error (Q2814126) (← links)
