Comment on P: Formal Modeling and Analysis of Distributed (Event-Driven) SystemsComments−eptcyka8moThis P is, contrary to popular belief, stored on GitHub.
Comments
This P is, contrary to popular belief, stored on GitHub.