Article URL: https://github.com/p-org/P
Comments URL: https://news.ycombinator.com/item?id=46299257
Points: 21
# Comments: 4
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
Published 6 hours ago
Source: hnrss.org
Related Articles from hnrss.org
27 minutes ago
Learning the oldest programming language (2024)
1 hour ago
Coursera to combine with Udemy
2 hours ago
Short-Circuiting Correlated Subqueries in SQLite
3 hours ago
Show HN: Mephisto – A RAM-only, ad-free disposable email PWA built with React
4 hours ago
Is Mozilla trying hard to kill itself?
5 hours ago