The following pages link to (Q4289325):
Displaying 4 items.
- An algebraic theory of interface automata (Q402131) (← links)
- Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench (Q1029101) (← links)
- Verified compilation of communicating processes into clocked circuits (Q1267038) (← links)
- Delay-insensitivity and ternary simulation (Q1575731) (← links)
