Hacker News
- Computation and State Machines (2008) [pdf] http://research.microsoft.com/en-us/um/people/lamport/pubs/state-machine.pdf 24 comments
- Computation and State Machines: Use math, not PLs, to think about computation [pdf] http://research.microsoft.com/en-us/um/people/lamport/pubs/state-machine.pdf 6 comments
- Leslie Lamport: Computation and State Machines [PDF, 2008] http://research.microsoft.com/en-us/um/people/lamport/pubs/state-machine.pdf 11 comments programming
Linking pages
- Why I No Longer Use MVC Frameworks https://www.infoq.com/articles/no-more-mvc-frameworks 368 comments
- TLA+ in Practice and Theory&LTbr/>Part 1: The Principles of TLA+ https://pron.github.io/posts/tlaplus_part1 44 comments
- TLA+ in Practice and Theory&LTbr/>Part 3: The (Temporal) Logic of Actions https://pron.github.io/posts/tlaplus_part3 8 comments
- What We Talk About When We Talk About Computation https://pron.github.io/posts/what-we-talk-about-when-we-talk-about-computation 1 comment
- SAM - State | Action | Model http://jdubray.github.io/sam/ 0 comments
- SAM - State | Action | Model http://sam.js.org/ 0 comments
Related searches:
Search whole site: site:research.microsoft.com
Search title: Computation and State Machines - Microsoft Research
See how to search.