G github.com P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems 37 points Davidbrcz 10 months ago 5 comments
