Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com/p-org)
2 points by ot 58 days ago | hide | past | favorite | 1 comment


Used by Amazon Web Services, according to their ACM paper discussed here: https://news.ycombinator.com/item?id=43547593




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: