Pages that link to "Item:Q1805397"
From MaRDI portal
The following pages link to The sliding-window protocol revisited (Q1805397):
Displaying 6 items.
- Dynamic TCP acknowledgment with sliding window (Q1006072) (← links)
- An incremental specification of the sliding-window protocol (Q1176075) (← links)
- Compositional verification of a communication protocol for a remotely operated aircraft (Q2442952) (← links)
- Verification of a sliding window protocol in \(\mu\) CRL and PVS (Q2576590) (← links)
- Dynamic TCP Acknowledgment with Sliding Window (Q3603565) (← links)
- Algebraic Methodology and Software Technology (Q5312977) (← links)