Simulating synchronized clocks and common knowledge in distributed systems (Q5286166): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 19:38, 5 March 2024
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