%0 Journal Article %1 journals/fac/ChandyGMPW11 %A Chandy, K. Mani %A Go, Brian %A Mitra, Sayan %A Pilotto, Concetta %A White, Jerome %D 2011 %J Formal Asp. Comput. %K %N 5 %P 649-679 %T Verification of distributed systems with local-global predicates. %U http://dblp.uni-trier.de/db/journals/fac/fac23.html#ChandyGMPW11 %V 23

@article{journals/fac/ChandyGMPW11, added-at = {2023-12-13T01:02:14.000+0100}, author = {Chandy, K. Mani and Go, Brian and Mitra, Sayan and Pilotto, Concetta and White, Jerome}, biburl = {https://www.bibsonomy.org/bibtex/286a747e565bd86dc6a06fd8aa160992c/admin}, ee = {http://dx.doi.org/10.1007/s00165-010-0150-7}, interhash = {6bf088e1d50deaaa27797dbf64e98563}, intrahash = {86a747e565bd86dc6a06fd8aa160992c}, journal = {Formal Asp. Comput.}, keywords = {}, number = 5, pages = {649-679}, timestamp = {2023-12-13T01:02:14.000+0100}, title = {Verification of distributed systems with local-global predicates.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac23.html#ChandyGMPW11}, volume = 23, year = 2011 }