FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Invariants in Distributed Algorithms

Authors: Yanhong A. Liu, Scott D. Stoller, Saksham Chand and Xuetian Weng

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Invariants in Distributed Algorithms
Authors:Yanhong A. Liu, Scott D. Stoller, Saksham Chand and Xuetian Weng
Proceedings:TLA Papers
Editor: Stephan Merz
Keywords:
Abstract:
Pages:6
Paper: