{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:23:15Z","timestamp":1725524595894},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540929949"},{"type":"electronic","value":"9783540929956"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-92995-6_6","type":"book-chapter","created":{"date-parts":[[2009,1,9]],"date-time":"2009-01-09T09:02:58Z","timestamp":1231491778000},"page":"76-90","source":"Crossref","is-referenced-by-count":14,"title":["Operational Semantics for Declarative Networking"],"prefix":"10.1007","author":[{"given":"Juan A.","family":"Navarro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrey","family":"Rybalchenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Armstrong, J.: Making reliable distributed systems in the presence of software errors. PhD thesis, KTH (2003)"},{"key":"6_CR2","volume-title":"Advanced Func. Prog.","author":"C. Fournet","year":"2002","unstructured":"Fournet, C., Fessant, F.L., Maranget, L., Schmitt, A.: JoCaml: A language for concurrent distributed and mobile programming. In: Advanced Func. Prog. Springer, Heidelberg (2002)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10704567_11","volume-title":"Principles and Practice of Declarative Programming","author":"M. Hanus","year":"1999","unstructured":"Hanus, M.: Distributed programming in a multi-paradigm declarative language. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol.\u00a01702. Springer, Heidelberg (1999)"},{"key":"6_CR4","volume-title":"PLDI","author":"C.E. Killian","year":"2007","unstructured":"Killian, C.E., Anderson, J.W., Braud, R., Jhala, R., Vahdat, A.: Mace: language support for building distributed systems. In: PLDI. ACM, New York (2007)"},{"key":"6_CR5","first-page":"97","volume-title":"SIGMOD","author":"B.T. Loo","year":"2006","unstructured":"Loo, B.T., Condie, T., Garofalakis, M., Gay, D.E., Hellerstein, J.M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I.: Declarative networking: Language, execution and optimization. In: SIGMOD, pp. 97\u2013108. ACM, New York (2006)"},{"issue":"4\u20135","key":"6_CR6","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1017\/S0956796807006442","volume":"17","author":"P. Sewell","year":"2007","unstructured":"Sewell, P., Leifer, J.J., Wansbrough, K., Nardelli, F.Z., Allen-Williams, M., Habouzit, P., Vafeiadis, V.: Acute: High-level programming language design for distributed computation. J. Funct. Program.\u00a017(4\u20135), 547\u2013612 (2007)","journal-title":"J. Funct. Program."},{"issue":"1","key":"6_CR7","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/TNET.2002.808407","volume":"11","author":"I. Stoica","year":"2003","unstructured":"Stoica, I., Morris, R., Liben-Nowell, D., Karger, D.R., Kaashoek, M.F., Dabek, F., Balakrishnan, H.: Chord: A scalable peer-to-peer lookup protocol for Internet applications. IEEE\/ACM Trans. Netw.\u00a011(1), 17\u201332 (2003)","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/3-540-45518-3_18","volume-title":"Middleware 2001","author":"A. Rowstron","year":"2001","unstructured":"Rowstron, A., Druschel, P.: Pastry: Scalable, decentralized object location, and routing for large-scale peer-to-peer systems. In: Guerraoui, R. (ed.) Middleware 2001. LNCS, vol.\u00a02218, p. 329. Springer, Heidelberg (2001)"},{"key":"6_CR9","volume-title":"SenSys","author":"D. Chu","year":"2007","unstructured":"Chu, D., Popa, L., Tavakoli, A., Hellerstein, J.M., Levis, P., Shenker, S., Stoica, I.: The design and implementation of a declarative sensor network system. In: SenSys. ACM, New York (2007)"},{"key":"6_CR10","first-page":"75","volume-title":"SIGOPS","author":"B.T. Loo","year":"2005","unstructured":"Loo, B.T., Condie, T., Hellerstein, J.M., Maniatis, P., Roscoe, T., Stoica, I.: Implementing declarative overlays. In: SIGOPS, pp. 75\u201390. ACM, New York (2005)"},{"key":"6_CR11","unstructured":"Singh, A., Das, T., Maniatis, P., Druschel, P., Roscoe, T.: BFT protocols under fire. In: NSDI, USENIX (2008)"},{"key":"6_CR12","unstructured":"Condie, T., Gay, D.E., Loo, B.T., et al.: P2: Declarative networking website (2008)"},{"key":"6_CR13","unstructured":"Loo, B.T.: The Design and Implementation of Declarative Networks. PhD thesis, UC Berkeley (2006)"},{"key":"6_CR14","unstructured":"Rossberg, A., Botlan, D.L., Tack, G., Brunklaus, T., Smolka, G.: Alice through the looking glass. In: Trends in Func. Prog., Intellect. (2004)"},{"key":"6_CR15","first-page":"25","volume-title":"Workshop on ML","author":"A. Rossberg","year":"2007","unstructured":"Rossberg, A., Tack, G., Kornstaedt, L.: Status report: HOT pickles, and how to serve them. In: Workshop on ML, pp. 25\u201336. ACM, New York (2007)"},{"issue":"2","key":"6_CR16","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1109\/TSE.2005.23","volume":"31","author":"D. Beyer","year":"2005","unstructured":"Beyer, D., Noack, A., Lewerentz, C.: Efficient relational calculation for software analysis. Trans. on Soft. Eng.\u00a031(2), 137\u2013149 (2005)","journal-title":"Trans. on Soft. Eng."},{"key":"6_CR17","volume-title":"PLDI","author":"J. Whaley","year":"2004","unstructured":"Whaley, J., Lam, M.S.: Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. In: PLDI. ACM, New York (2004)"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Carriero, N., Gelernter, D.: Linda in context. Commun. ACM\u00a032(4) (1989)","DOI":"10.1145\/63334.63337"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92995-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T05:04:57Z","timestamp":1548392697000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92995-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540929949","9783540929956"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92995-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}