Hacker News
- Computation and State Machines (2008) [pdf] https://lamport.azurewebsites.net/pubs/state-machine.pdf 37 comments
- Computation and State Machines (2008) [pdf] https://lamport.azurewebsites.net/pubs/state-machine.pdf 8 comments
Linking pages
- TLA+ in Practice and Theory&ampampampampampampampampampampampampampampampampampampLTbr/>Part 3: The (Temporal) Logic of Actions https://pron.github.io/posts/tlaplus_part3 8 comments
- Function vs Object — stereobooster's personal blog https://stereobooster.com/posts/function-vs-object/ 0 comments
- GitHub - Comcast/sheens: Message Machines https://github.com/Comcast/sheens 0 comments
Related searches:
Search whole site: site:lamport.azurewebsites.net
Search title: Computation and State Machines (2008) [pdf]
See how to search.