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

(github.com)

14 points | by Davidbrcz 4 hours ago ago

2 comments