%0 Conference Paper %1 conf/pods/AlurHIKMNSTX21 %A Alur, Rajeev %A Hilliard, Phillip %A Ives, Zachary G. %A Kallas, Konstantinos %A Mamouras, Konstantinos %A Niksic, Filip %A Stanford, Caleb %A Tannen, Val %A Xue, Anton %B PODS %D 2021 %E Libkin, Leonid %E Pichler, Reinhard %E Guagliardo, Paolo %I ACM %K dblp %P 1-18 %T Synchronization Schemas. %U http://dblp.uni-trier.de/db/conf/pods/pods2021.html#AlurHIKMNSTX21 %@ 978-1-4503-8381-3

@inproceedings{conf/pods/AlurHIKMNSTX21, added-at = {2022-01-03T00:00:00.000+0100}, author = {Alur, Rajeev and Hilliard, Phillip and Ives, Zachary G. and Kallas, Konstantinos and Mamouras, Konstantinos and Niksic, Filip and Stanford, Caleb and Tannen, Val and Xue, Anton}, biburl = {https://www.bibsonomy.org/bibtex/274337799df3dae969074689721f2e8d9/dblp}, booktitle = {PODS}, crossref = {conf/pods/2021}, editor = {Libkin, Leonid and Pichler, Reinhard and Guagliardo, Paolo}, ee = {https://doi.org/10.1145/3452021.3458317}, interhash = {6a3f3ee4de0013a0aa60769af1e5beef}, intrahash = {74337799df3dae969074689721f2e8d9}, isbn = {978-1-4503-8381-3}, keywords = {dblp}, pages = {1-18}, publisher = {ACM}, timestamp = {2024-04-09T17:08:59.000+0200}, title = {Synchronization Schemas.}, url = {http://dblp.uni-trier.de/db/conf/pods/pods2021.html#AlurHIKMNSTX21}, year = 2021 }