Formal Modeling and Analysis of Distributed (Event-Driven) Systems
by evanjrowley on 6/1/2025, 1:51:52 AM
Used by Amazon Web Services, according to their ACM paper discussed here: https://news.ycombinator.com/item?id=43547593
Used by Amazon Web Services, according to their ACM paper discussed here: https://news.ycombinator.com/item?id=43547593