1 day ago · software

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems

Article URL: https://github.com/p-org/P Comments URL: https://news.ycombinator.com/item?id=46299257 Points: 6 Comments: 0...