Cited By
View all- v. Gleissenthall KKıcı RBakst AStefan DJhala R(2019)Pretend synchrony: synchronous verification of asynchronous distributed programsProceedings of the ACM on Programming Languages10.1145/32903723:POPL(1-30)Online publication date: 2-Jan-2019
- Harrison JChechina NFrancalanza A(2018)Automatic detection of core Erlang message passing errorsProceedings of the 17th ACM SIGPLAN International Workshop on Erlang10.1145/3239332.3242765(37-48)Online publication date: 29-Sep-2018
- Bakst AGleissenthall KKıcı RJhala R(2017)Verifying distributed programs via canonical sequentializationProceedings of the ACM on Programming Languages10.1145/31339341:OOPSLA(1-27)Online publication date: 12-Oct-2017
- Show More Cited By