Article URL: https://github.com/p-org/P
Comments URL: https://news.ycombinator.com/item?id=46299257
Points: 14
# Comments: 2
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
Published 4 hours ago
Source: hnrss.org
Related Articles from hnrss.org
2 hours ago
Show HN: Mephisto – A RAM-only, ad-free disposable email PWA built with React
2 hours ago
Is Mozilla trying hard to kill itself?
3 hours ago
AI's real superpower: consuming, not creating
4 hours ago
TLA+ Modeling Tips
4 hours ago
US threatens EU digital services market access
5 hours ago