{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:01:28Z","timestamp":1743001288787,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319192819"},{"type":"electronic","value":"9783319192826"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19282-6_4","type":"book-chapter","created":{"date-parts":[[2015,4,29]],"date-time":"2015-04-29T11:05:56Z","timestamp":1430305556000},"page":"51-66","source":"Crossref","is-referenced-by-count":5,"title":["Comingle: Distributed Logic Programming for\u00a0Decentralized Mobile Ensembles"],"prefix":"10.1007","author":[{"given":"Edmund Soon Lee","family":"Lam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iliano","family":"Cervesato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nabeeha","family":"Fatima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-3-642-02846-5_24","volume-title":"Logic Programming","author":"M.P. Ashley-Rollman","year":"2009","unstructured":"Ashley-Rollman, M.P., Lee, P., Goldstein, S.C., Pillai, P., Campbell, J.D.: A Language for Large Ensembles of Independently Executing Nodes. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 265\u2013280. Springer, Heidelberg (2009)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Cruz, F., Rocha, R., Goldstein, S.C., Pfenning, F.: A linear logic programming language for concurrent programming over graph structures. In: ICLP 2014, Vienna, Austria (2014)","DOI":"10.1017\/S1471068414000167"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"4_CR4","unstructured":"Dean, J., Ghemawat, S.: Mapreduce: simplified data processing on large clusters. In: OSDI 2004. USENIX Association (2004)"},{"key":"4_CR5","unstructured":"Fr\u00fchwirth, T., Raiser, F.: Constraint Handling Rules: Compilation, Execution and Analysis (2011), BOD ISBN 9783839115916"},{"key":"4_CR6","unstructured":"New\u00a0York Google. Chrome Racer, A Chrome Experiment (2013), http:\/\/www.chrome.com\/racer"},{"key":"4_CR7","unstructured":"Google Inc. Google Web Toolkit, http:\/\/code.google.com\/webtoolkit\/"},{"key":"4_CR8","first-page":"1111","volume-title":"CHI 2011","author":"B.T. Kirby","year":"2011","unstructured":"Kirby, B.T., Ashley-Rollman, M., Goldstein, S.C.: Blinky blocks: A physical ensemble programming platform. In: CHI 2011, pp. 1111\u20131116. ACM, New York (2011)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Lam, E.S.L., Cervesato, I.: Decentralized Execution of Constraint Handling Rules for Ensembles. In: PPDP 2013, Madrid, Spain, pp. 205\u2013216 (2013)","DOI":"10.1145\/2505879.2505892"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-3-319-12736-1_2","volume-title":"Programming Languages and Systems","author":"E.S.L. Lam","year":"2014","unstructured":"Lam, E.S.L., Cervesato, I.: Optimized Compilation of Multiset Rewriting with Comprehensions. In: Garrigue, J. (ed.) APLAS 2014. LNCS, vol.\u00a08858, pp. 19\u201338. Springer, Heidelberg (2014)"},{"key":"4_CR11","unstructured":"Lam, E.S.L., Cervesato, I.: Reasoning about Set Comprehension. In: SMT 2014 (2014)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Lam, E.S.L., Cervesato, I.: Comingle: Distributed Logic Programming for Decentralized Android Applications. Technical Report CMU-CS-15-101, Carnegie Mellon University (March 2015)","DOI":"10.1007\/978-3-319-19282-6_4"},{"key":"4_CR13","unstructured":"Merrill, D., Kalanithi, J.: Sifteo, Interactive Game Cubes (2009), https:\/\/www.sifteo.com\/cubes"},{"key":"4_CR14","first-page":"72","volume-title":"Haskell 2003","author":"P.J. Stuckey","year":"2003","unstructured":"Stuckey, P.J., Sulzmann, M., Wazny, J.: Interactive Type Debugging in Haskell. In: Haskell 2003, pp. 72\u201383. ACM, New York (2003)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19282-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,6]],"date-time":"2022-05-06T13:49:46Z","timestamp":1651844986000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-19282-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319192819","9783319192826"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19282-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}