2 1 A Brief and Rather Biased History of State-Based Methods for Verifying Concurrent Systems

@inproceedings{Lamport199321A,
  title={2 1 A Brief and Rather Biased History of State-Based Methods for Verifying Concurrent Systems},
  author={Leslie Lamport},
  year={1993}
}
I explore the history of, and lessons learned from, eighteen years of assertional methods for specifying and verifying concurrent programs. I then propose a Utopian future in which mathematics prevails.