Pages that link to "Item:Q3178261"
From MaRDI portal
The following pages link to Geometry of Synthesis II: From Games to Delay-Insensitive Circuits (Q3178261):
Displaying 4 items.
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Verified compilation of communicating processes into clocked circuits (Q1267038) (← links)
- Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits (Q4922073) (← links)
- Coherent minimisation: towards efficient tamper-proof compilation (Q5208778) (← links)