Pages that link to "Item:Q1193741"
From MaRDI portal
The following pages link to Arbiters: An exercise in specifying and decomposing asynchronously communicating components (Q1193741):
Displaying 5 items.
- Specification and design of shared resource arbitration (Q1186094) (← links)
- Newtonian arbiters cannot be proven correct (Q1314513) (← links)
- A linear-time branching-time perspective on interface automata (Q2182669) (← links)
- Component refinement and CSC-solving for STG decomposition (Q2464945) (← links)
- Ideal Arbiters: Analysis and Design (Q3030258) (← links)