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

37 points

by Davidbrcz

4 days ago

5 comments