Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com)

2 points by ot 1y ago ↗ HN

1 comment

[ 1.8 ms ] story [ 16.6 ms ] thread

evanjrowley 1y ago ↗

Used by Amazon Web Services, according to their ACM paper discussed here: https://news.ycombinator.com/item?id=43547593