%0 Journal Article %1 journals/pacmpl/GleissenthallKB19 %A von Gleissenthall, Klaus %A Kici, Rami Gökhan %A Bakst, Alexander %A Stefan, Deian %A Jhala, Ranjit %D 2019 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 59:1-59:30 %T Pretend synchrony: synchronous verification of asynchronous distributed programs. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#GleissenthallKB19 %V 3

@article{journals/pacmpl/GleissenthallKB19, added-at = {2021-02-17T00:00:00.000+0100}, author = {von Gleissenthall, Klaus and Kici, Rami Gökhan and Bakst, Alexander and Stefan, Deian and Jhala, Ranjit}, biburl = {https://www.bibsonomy.org/bibtex/29bcca81dfa2c6d792f4b7536a2da9f0a/dblp}, ee = {https://doi.org/10.1145/3290372}, interhash = {63bce9e547c2971c557c714aff45fba0}, intrahash = {9bcca81dfa2c6d792f4b7536a2da9f0a}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {59:1-59:30}, timestamp = {2024-04-08T09:54:02.000+0200}, title = {Pretend synchrony: synchronous verification of asynchronous distributed programs.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#GleissenthallKB19}, volume = 3, year = 2019 }