{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T05:13:39Z","timestamp":1738300419943,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540681540"},{"type":"electronic","value":"9783540681557"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68155-7_16","type":"book-chapter","created":{"date-parts":[[2008,5,19]],"date-time":"2008-05-19T09:41:20Z","timestamp":1211190080000},"page":"188-202","source":"Crossref","is-referenced-by-count":4,"title":["Optimal Deployment of Eventually-Serializable Data Services"],"prefix":"10.1007","author":[{"given":"Laurent","family":"Michel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Shvartsman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eldine","family":"Sonderegger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Van Hentenryck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Aguilera, M.: Hewlett-Packard, Personal communication (2007)"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Bastarrica, M., Demurjian, S., Shvartsman, A.: Software architectural specification for optimal object distribution. In: SCCC 1998: Proc. of the XVIII Intl. Conf. of the Chilean Computer Science Society, Washington, DC, USA (1998)","DOI":"10.1109\/SCCC.1998.730779"},{"key":"16_CR3","unstructured":"Bastarrica, M.C.: Architectural specification and optimal deployment of distributed systems. PhD thesis, University of Connecticut (2000)"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K., M\u00f6ller, O., Pettersson, P., Yi, W.: Uppaal - present and future. In: Proceedings of the 40th IEEE Conference on Decision and Control (CDC 2001), pp. 2881\u20132886 (2001)","DOI":"10.1109\/CDC.2001.980713"},{"key":"16_CR5","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1090\/dimacs\/045\/03","volume":"45","author":"O. Cheiner","year":"1999","unstructured":"Cheiner, O., Shvartsman, A.: Implementing an eventually-serializable data service as a distributed system building block. Networks in Distributed Computing\u00a045, 43\u201371 (1999)","journal-title":"Networks in Distributed Computing"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Fekete, A., Gupta, D., Luchangco, V., Lynch, N., Shvartsman, A.: Eventually-serializable data services. In: PODC 1996: Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, pp. 300\u2013309 (1996)","DOI":"10.1145\/248052.248113"},{"key":"16_CR7","first-page":"259","volume-title":"DSN","author":"S. Gilbert","year":"2003","unstructured":"Gilbert, S., Lynch, N.A., Shvartsman, A.A.: RAMBO II: Rapidly reconfigurable atomic memory for dynamic networks. In: DSN, pp. 259\u2013268. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"16_CR8","unstructured":"IETF. Domain name system, rfc 1034 and rfc 1035 (1990)"},{"key":"16_CR9","volume-title":"The Theory of Timed I\/O Automata, Synthesis Lectures in Computer Science","author":"D.K. Kaynar","year":"2006","unstructured":"Kaynar, D.K., Lynch, N., Segala, R., Vaandrager, F.: The Theory of Timed I\/O Automata, Synthesis Lectures in Computer Science. Morgan & Claypool Publishers, San Francisco (2006)"},{"issue":"1-2","key":"16_CR10","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. International Journal on Software Tools for Technology Transfer\u00a01(1-2), 134\u2013152 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"16_CR11","first-page":"173","volume-title":"Lecture Notes in Computer Science","author":"Nancy Lynch","year":"2002","unstructured":"Lynch, N., Shvartsman, A.: RAMBO: A reconfigurable atomic memory service for dynamic networks. In: Proceedings of the 16th International Symposium on Distributed Computing, pp. 173\u2013190 (2002)"},{"issue":"3","key":"16_CR12","first-page":"219","volume":"2","author":"N. Lynch","year":"1989","unstructured":"Lynch, N., Tuttle, M.: An introduction to Input\/Output Automata. CWI-Quarterly\u00a02(3), 219\u2013246 (1989)","journal-title":"CWI-Quarterly"},{"key":"16_CR13","unstructured":"Lynch, N.A., Garland, S., Kaynar, D., Michel, L., Shvartsman, A.: The Tempo Language User Guide and Reference Manual. VeroModo Inc. (December 2007), http:\/\/www.veromodo.com"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Michel, L., See, A., Van Hentenryck, P.: Parallelizing constraint programs transparently. In: Proceedings of the 13th International Conference on the Principles and Practice of Constraint Programming (CP 2007), Providence, RI (2007)","DOI":"10.1007\/978-3-540-74970-7_37"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/3-540-61474-5_91","volume-title":"Computer Aided Verification","author":"S. Owre","year":"1996","unstructured":"Owre, S., Rajan, S., Rushby, J.M., Shankar, N., Srivas, M.K.: PVS: Combining specification, proof checking, and model checking. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 411\u2013414. Springer, Heidelberg (1996)"},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/1024393.1024400","volume-title":"ASPLOS","author":"Y. Saito","year":"2004","unstructured":"Saito, Y., Fr\u00f8lund, S., Veitch, A.C., Merchant, A., Spence, S.: Fab: building distributed enterprise disk arrays from commodity components. In: Mukherjee, S., McKinley, K.S. (eds.) ASPLOS, pp. 48\u201358. ACM Press, New York (2004)"},{"key":"16_CR17","unstructured":"Van Hentenryck, P., Flener, P., Pearson, J., \u00c5gren, M.: Tractable symmetry breaking for CSPs with interchangeable values. In: International Joint Conference on Artificial Intelligence (IJCAI 2003) (2003)"}],"container-title":["Lecture Notes in Computer Science","Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68155-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T10:09:28Z","timestamp":1738231768000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68155-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540681540","9783540681557"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68155-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}