Bettina Kemme
Marc Shapiro
- Daniel J. Abadi. Consistency tradeoffs in modern distributed database system design. Computer, 45(2):37--42, February 2012. Google Scholar
Digital Library
- Atul Adya. Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions. PhD thesis, Mass. Institute of Technology, Cambridge, MA, USA, March 1999. Appears also as MIT Technical Report MIT/LCS/TR-786. Google ScholarDigital Library
- Marcos K. Aguilera, Idit Keidar, Dahlia Malkhi, and Alexander Shraer. Dynamic atomic storage without consensus. Journal of the ACM, 58:7:1--7:32, April 2011. Google ScholarDigital Library
- Hagit Attiya, Amotz Bar-Noy, and Danny Dolev. Sharing memory robustly in message-passing systems. Journal of the ACM, 42(1):124--142, January 1995. Google ScholarDigital Library
- Eric Brewer. CAP twelve years later: How the "rules" have changed. IEEE Computer, 45(2): 23--29, February 2012. Google ScholarDigital Library
- Bernadette Charron-Bost, Fernando Pedone, and André Schiper, editors. Replication: Theory and Practice, volume 5959 of Lecture Notes in Comp. Sc., 2010. Springer-Verlag. A 30-Year Perspective on Replication, Monte Veritá, Ascona, Switzerland, November 2007. Google ScholarDigital Library
- Susan B. Davidson, Hector Garcia-Molina, and Dale Skeen. Consistency in a partitioned network: a survey. ACM Computing Surveys, 17(3):341--370, September 1985. Google ScholarDigital Library
- Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman, and Jennifer L. Welch. GeoQuorums: implementing atomic memory in mobile ad hoc networks. Distributed Computing, 18(2):125--155, 2005. Google ScholarDigital Library
- S. Gilbert, N. Lynch, and A. Shvartsman. RAMBO: A robust, reconfigurable atomic memory service for dynamic networks. Distributed Computing, 23(4):225--272, December 2010.Google ScholarDigital Library
- Maurice Herlihy and J. Eliot B. Moss. Transactional memory: Architectural support for lock-free data structures. In Int. Conf. on Comp. Arch. (ISCA), pages 289--300, San Diego CA, USA, May 1993. Google ScholarDigital Library
- Maurice Herlihy and Jeannette Wing. Linearizability: a correcteness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463--492, July 1990. Google ScholarDigital Library
- Rivka Ladin, Barbara Liskov, Liuba Shrira, and Sanjay Ghemawat. Providing high availability using lazy replication. Trans. on Computer Systems, 10(4):360--391, November 1992. Google ScholarDigital Library
- Richard J. Lipton. Reduction: a method of proving properties of parallel programs. Communications of the ACM, 18(12):717--721, December 1975. Google ScholarDigital Library
- Chris Okasaki. Purely functional data structures. Cambridge University Press, 1999. Google ScholarDigital Library
- Yair Sovran, Russell Power, Marcos K. Aguilera, and Jinyang Li. Transactional storage for geo-replicated systems. In Symp. on Op. Sys. Principles (SOSP), pages 385--400, Cascais, Portugal, October 2011. Assoc. for Computing Machinery. Google ScholarDigital Library
- Werner Vogels. Eventually consistent. ACM Queue, 6(6):14--19, October 2008. Google ScholarDigital Library
Index Terms
- Dagstuhl seminar review: consistency in distributed systems
Recommendations
Dagstuhl seminar 19461 on conversational search: seminar goals and working group outcomes
In the week of November 10--15, 2019, 44 researchers from the fields of information retrieval and Web search, natural language processing, human computer interaction, and dialogue systems met for the Dagstuhl Seminar 19461 "Conversational Search" to ...
Comments