Pages that link to "Item:Q4328963"
From MaRDI portal
The following pages link to Balsa: An Asynchronous Hardware Synthesis Language (Q4328963):
Displaying 3 items.
- On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP (Q1001805) (← links)
- STG decomposition strategies in combination with unfolding (Q1031867) (← links)
- Structure-based deadlock checking of asynchronous circuits (Q2637261) (← links)
