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

via github.com

Short excerpt below. Read at the original source.

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

Read at Source