Instances of Schneider's generalized protocol of clock synchronization.
Damián BarsottiPublished in: Arch. Formal Proofs (2006)
Keyphrases
- interprocess communication
- high speed
- lightweight
- training instances
- randomly generated
- power consumption
- formal analysis
- network protocols
- communication protocols
- tcp ip
- security protocols
- data sets
- stochastic local search
- key distribution
- lower and upper bounds
- cryptographic protocols
- data sharing
- lower bound
- decision trees