Verification and specification of concurrent programs [chapter]

Leslie Lamport
1994 Lecture Notes in Computer Science  
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.
doi:10.1007/3-540-58043-3_23 fatcat:yfizmu2dorhklaj6t2dqsx6pkq