View of A TLA+ framework for the specification and verification of distributed algorithms using the Heard-Of model.

Return to Article Details A TLA+ framework for the specification and verification of distributed algorithms using the Heard-Of model. Download Download PDF