Pages that link to "Item:Q3688294"
From MaRDI portal
The following pages link to A Simple Protocol Whose Proof Isn't (Q3688294):
Displaying 5 items.
- Specification and analysis of a data transfer protocol using systems of communicating machines (Q808228) (← links)
- Self-stabilization over unreliable communication media (Q1310565) (← links)
- The Austin Protocol Compiler. (Q1768948) (← links)
- Non-deterministic transducer models of retransmission protocols over noisy channels (Q2346564) (← links)
- Using automated theorem provers in verification of protocols (Q2702601) (← links)