Simulating synchronized clocks and common knowledge in distributed systems (Q5286166)
From MaRDI portal
scientific article; zbMATH DE number 223632
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simulating synchronized clocks and common knowledge in distributed systems |
scientific article; zbMATH DE number 223632 |
Statements
Simulating synchronized clocks and common knowledge in distributed systems (English)
0 references
29 June 1993
0 references
asynchronous/synchronous operations
0 references
distributed networks
0 references
network communications
0 references
protocol verification
0 references
distributed programming
0 references
communications management
0 references
clock synchronization
0 references
knowledge-based protocols
0 references
timestamped common knowledge
0 references
synchronized clocks
0 references
logical clocks
0 references
