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

(github.com)

14 points | by Davidbrcz 4 hours ago ago

2 comments

eptcyka an hour ago ago

This P is, contrary to popular belief, stored on GitHub.
dev_l1x_be an hour ago ago

Wasn't TLA+ used by AWS previously?