alt
Hacker News
JonChesterfield
•
today at 12:40 AM
•
0 replies
•
view on HN
Usually temporal logic of actions. Lamport's thing. Extremely worth a look.