Pages that link to "Item:Q1071496"
From MaRDI portal
The following pages link to The probe: An addition to communication primitives (Q1071496):
Displaying 5 items.
- On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP (Q1001805) (← links)
- An alternative implementation of communication primitives (Q1091123) (← links)
- Compiling communicating processes into delay-insensitive VLSI circuits (Q1102258) (← links)
- The sliding-window protocol revisited (Q1805397) (← links)
- Retargeting a hardware compiler using protocol converters (Q1914042) (← links)