3 ms·
Formal Modeling and Analysis of Distributed (Event-Driven) Systems
- evanjrowley 1y agoUsed by Amazon Web Services, according to their ACM paper discussed here: https://news.ycombinator.com/item?id=43547593 https://news.ycombinator.com/item?id=43547593