Anticipation of Method Execution in Mixed Consistency Systems-Reference-Cited by-同舟云学术

Anticipation of Method Execution in Mixed Consistency Systems

Published:2023-03-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing
language:
Short-container-title:

Author:

Giunti Marco¹^ORCID,Paulino Hervé²^ORCID,Ravara António²^ORCID

Affiliation:

1. NOVA LINCS, Portugal

2. Dep. of Informatics, NOVA School of Science and Technology, NOVA University of Lisbon, Portugal

Funder

FCT, IP - Portugal

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3555776.3577725

Reference21 articles.

1. Antidote DB 2015. https://www.antidotedb.eu. Last visited in June 2022 . AntidoteDB 2015. https://www.antidotedb.eu. Last visited in June 2022.

2. Synthesizing Precise and Useful Commutativity Conditions;Bansal Kshitij;J. Autom. Reason.,2020

3. Principles of Eventual Consistency;Burckhardt Sebastian;Foundations and Trends in Programming Languages,2014

4. OOlong: A Concurrent Object Calculus for Extensibility and Reuse;Castegren Elias;SIGAPP Appl. Comput. Rev.,2019

5. Alexey Gotsman et al. 2016. 'Cause I'm strong enough: reasoning about consistency choices in distributed systems . In Proc. of POPL. ACM, 371--384 . Alexey Gotsman et al. 2016. 'Cause I'm strong enough: reasoning about consistency choices in distributed systems. In Proc. of POPL. ACM, 371--384.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Noctua: Towards Automated and Practical Fine-grained Consistency Analysis;Proceedings of the Nineteenth European Conference on Computer Systems;2024-04-22