Pages that link to "Item:Q1176075"
From MaRDI portal
The following pages link to An incremental specification of the sliding-window protocol (Q1176075):
Displaying 8 items.
- Improving routing in long-distance wireless mesh networks via a distributed embedded router (Q436717) (← links)
- Specification and analysis of a data transfer protocol using systems of communicating machines (Q808228) (← 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)
- Verification of a sliding window protocol in \(\mu\) CRL and PVS (Q2576590) (← links)
- Algebraic Methodology and Software Technology (Q5312977) (← links)