Lamport clocks and TLA+ formal specification by Federico Ponzi https://blog.fponzi.me/2024-02-02-lamport-clocks.html #formal #specification #concurrency