Proving liveness for networks of communicating finite state machines (Q3723681)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proving liveness for networks of communicating finite state machines |
scientific article |
Statements
Proving liveness for networks of communicating finite state machines (English)
0 references
1986
0 references
network of communicating finite state machines
0 references
unbounded FIFO channels
0 references
fair progress
0 references
node fairness
0 references
edge fairness
0 references
network fairness
0 references
node liveness
0 references
communication protocols
0 references
start-stop protocol
0 references
alternating bit protocol
0 references
CSMA/CD protocol
0 references
