Basic Spin Manual Gerard J. Holzmann AT&T Bell Laboratories Murray Hill, New Jersey 07974 ABSTRACT Spin is a tool for analyzing the logical consistency of concurrent…
