The following pages link to (Q4411827):
Displaying 7 items.
- Automata-theoretic semantics of idealized Algol with passive expressions (Q265826) (← links)
- Domain theory for concurrency (Q1434357) (← links)
- Decomposition orders -- another generalisation of the fundamental theorem of arithmetic (Q1781996) (← links)
- Decidability and syntactic control of interference (Q2481977) (← links)
- Geometry of Synthesis II: From Games to Delay-Insensitive Circuits (Q3178261) (← links)
- Modelling Local Variables: Possible Worlds and Object Spaces (Q3178266) (← links)
- Automata, Languages and Programming (Q5716838) (← links)