Pages that link to "Item:Q2415373"

The following pages link to A generalised theory of interface automata, component compatibility and error (Q2415373):

Displaying 2 items.

• A linear-time branching-time perspective on interface automata (Q2182669) (← links)
• Interface automata for shared memory (Q2675806) (← links)