Pages that link to "Item:Q1318283"
From MaRDI portal
The following pages link to A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol (Q1318283):
Displaying 6 items.
- Automated verification and refinement for physical-layer protocols (Q539420) (← links)
- Analysis of a biphase mark protocol with Uppaal and PVS (Q855013) (← links)
- A functional formalization of on chip communications (Q931433) (← links)
- Theories for mechanical proofs of imperative programs (Q1267030) (← links)
- A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol (Q1318283) (← links)
- Wait-free linearization with a mechanical proof (Q5137000) (← links)
