Pages that link to "Item:Q5312977"
From MaRDI portal
The following pages link to Algebraic Methodology and Software Technology (Q5312977):
Displaying 6 items.
- Cones and foci: A mechanical framework for protocol verification (Q853730) (← links)
- An incremental specification of the sliding-window protocol (Q1176075) (← links)
- The sliding-window protocol revisited (Q1805397) (← links)
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal (Q2568979) (← links)
- Verification of a sliding window protocol in \(\mu\) CRL and PVS (Q2576590) (← links)
- From μCRL to mCRL2 (Q5262965) (← links)