A note to anyone who enjoys listening to Leslie Lamport. I'd highly recommend you take a stab at reading his book 'Specifying Systems'. It's free and uses an extremely approachable teaching method, to guide you through suing temporal logic of actions for specifying system behaviours via rigorous proofs.
Great two part series. Thank you, Roy Levin and the CHM, for conducting this interview with Leslie Lamport.
He is a genius
A note to anyone who enjoys listening to Leslie Lamport. I'd highly recommend you take a stab at reading his book 'Specifying Systems'. It's free and uses an extremely approachable teaching method, to guide you through suing temporal logic of actions for specifying system behaviours via rigorous proofs.
Very enjoybale to listen to.