Mechanical verification of concurrent systems with tla (1992)

by Urban Engberg, Peter Grønning, Leslie Lamport
Venue:In Logics of Programs, Lecture Notes in Computer Science