The following pages link to (Q4799358):
Displaying 4 items.
- Components as coalgebras: the refinement dimension (Q820141) (← links)
- Comparing disjunctive modal transition systems with an one-selecting variant (Q953529) (← links)
- Contract-based discovery of Web services modulo simple orchestrators (Q987977) (← links)
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems (Q2348368) (← links)
