Comments on ``On the proof of a distributed algorithm: Always-true is not invariant

DOI10.1016/0020-0190(90)90027-UzbMath0705.68059MaRDI QIDQ918207

Gerard Tel, A. J. M. van Gasteren

Publication date: 1990

Published in: Information Processing Letters (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Related Items (3)

Invariants, composition, and substitution ⋮ Empowering the Event-B method using external theories ⋮ Comments on Always-true is not invariant: Assertional reasoning about invariance

Uses Software

• UNITY

Cites Work

• Unnamed Item
• On the proof of a distributed algorithm
• Derivation of a termination detection algorithm for distributed computations

This page was built for publication: Comments on ``On the proof of a distributed algorithm: Always-true is not invariant