No label defined (Q3795193)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1988
0 references
assertional proof
0 references
timer-based protocol skeleton
0 references
end-to-end data transport
0 references
connection management
0 references
distributed algorithms
0 references
