Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
An introduction to temporal logic and how it can be used to analyze concurrency
github.com/Dicklesworthstone
92 points
eigenvalue
2 years ago
26 comments
Loading...
An introduction to temporal logic and how it can be used to analyze concurrency | Heykuki News