Strange Loop 2018 notes
Processes are Finite-state synchronization skeletons - supress details about synchronization Communication model: Shared memory, interleaving based - one thread takes a step at a time Specification: Temporal logic Synchronization: Guarded commands
14 minutes 2.74km http://www.gmap-pedometer.com/?r=6814407
First run in a couple of weeks, and that was a quick 8 minute/2km one to try out my new trainers. This one started to get good around 2km, so I carried on a bit longer. A bit too quick again, but pace felt good. Legs aching and a bit heavy, and feeling tight afterwards.