- Record: found
- Abstract: not found
- Book Chapter: not found
Towards Verification of the Pastry Protocol Using TLA +
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references7
- Record: found
- Abstract: not found
- Book Chapter: not found
Model Checking TLA+ Specifications
Yuan Yu, Panagiotis Manolios, Leslie Lamport (1999)
- Record: found
- Abstract: not found
- Book Chapter: not found
Towards Verification of the Pastry Protocol Using TLA +
Tianxiang Lu, Stephan Merz, Christoph Weidenbach (2011)
- Record: found
- Abstract: not found
- Article: not found
Verification of Peer-to-peer Algorithms: A Case Study
Rana Bakhshi, Dilian Gurov (2007)