Pages that link to "Item:Q1176075"
From MaRDI portal
The following pages link to An incremental specification of the sliding-window protocol (Q1176075):
Displaying 5 items.
- Improving routing in long-distance wireless mesh networks via a distributed embedded router (Q436717) (← links)
- A trace-based compositional proof theory for fault tolerant distributed systems (Q1330425) (← links)
- The sliding-window protocol revisited (Q1805397) (← links)
- Structured development of a virtual shared memory system (Q1911316) (← links)
- Compositional verification of a communication protocol for a remotely operated aircraft (Q2442952) (← links)
