A Simple Protocol Whose Proof Isn't (Q3688294)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Simple Protocol Whose Proof Isn't |
scientific article |
Statements
A Simple Protocol Whose Proof Isn't (English)
0 references
1985
0 references
synchronous protocol
0 references
reliable transmission of data
0 references
error-prone channel
0 references
finite-state machines
0 references
abstract-program approach
0 references
