{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:13:16Z","timestamp":1725574396898},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540210443"},{"type":"electronic","value":"9783540246343"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-24634-3_23","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T03:57:55Z","timestamp":1294372675000},"page":"307-322","source":"Crossref","is-referenced-by-count":7,"title":["A Component-Based Parallel Constraint Solver"],"prefix":"10.1007","author":[{"given":"Peter","family":"Zoeteweij","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farhad","family":"Arbab","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"K.R. Apt","year":"1999","unstructured":"Apt, K.R.: The Rough Guide to Constraint Propagation. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 1\u201323. Springer, Heidelberg (1999)"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/3-540-61052-9_38","volume-title":"Coordination Languages and Models","author":"F. Arbab","year":"1996","unstructured":"Arbab, F.: The IWIM Model for Coordination of Concurrent Activities. In: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol.\u00a01061, pp. 34\u201356. Springer, Heidelberg (1996)"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/3-540-45263-X_8","volume-title":"Coordination Languages and Models","author":"F. Arbab","year":"2000","unstructured":"Arbab, F., Monfroy, E.: Distributed Splitting of Constraint Satisfaction Problems. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol.\u00a01906, pp. 115\u2013132. Springer, Heidelberg (2000)"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39656-7_2","volume-title":"Formal Methods for Components and Objects","author":"F. Arbab","year":"2003","unstructured":"Arbab, F.: Abstract Behavior Types: A Foundation Model for Components and Their Composition. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, Springer, Heidelberg (2003)"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Arbab, F., Rutten, J.J.M.M.: A Coinductive Calculus of Component Connectors. Technical report SEN-R0216, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands (September 2002)","DOI":"10.1007\/978-3-540-40020-2_2"},{"key":"23_CR6","unstructured":"Arbab, F., Baier, C., Rutten, J.J.M.M., Sirjani, M.: Modeling Component Connectors in Reo by Constraint Automata (extended abstract). In: Proceedings of the 2nd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2003) (2003) (to appear on ENTCS)"},{"issue":"4","key":"23_CR7","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1142\/S0129626401000749","volume":"11","author":"Z. Habbas","year":"2001","unstructured":"Habbas, Z., Krajecki, M., Singer, D.: Shared Memory Implementation of Constraint Satisfaction Problem Resolution. Parallel Processing Letters\u00a011(4), 487\u2013501 (2001)","journal-title":"Parallel Processing Letters"},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1145\/335603.335756","volume-title":"Proceedings of the 2000 ACM Symposium on Applied Computing","author":"E. Monfroy","year":"2000","unstructured":"Monfroy, E.: A Coordination-based Chaotic Iteration Algorithm for Constraint Propagation. In: Carroll, Damiani, Haddad, Oppenheim (eds.) Proceedings of the 2000 ACM Symposium on Applied Computing, pp. 262\u2013269. ACM Press, New York (2000)"},{"key":"23_CR9","volume-title":"Coordination of Internet Agents: Models, Technologies and Applications","author":"E. Monfroy","year":"2001","unstructured":"Monfroy, E., Arbab, F.: Constraints Solving as the Coordination of Inference Engines. In: Omicini, Zambonelli, Klusch, Tolksdorf (eds.) Coordination of Internet Agents: Models, Technologies and Applications, Springer, Heidelberg (2001)"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1007\/978-3-540-48085-3_25","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"L. Perron","year":"1999","unstructured":"Perron, L.: Search Procedures and Parallelism in Constraint Programming. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 346\u2013360. Springer, Heidelberg (1999)"},{"key":"23_CR11","first-page":"275","volume-title":"Proceedings of the Sixteenth International Conference on Logic Programming","author":"C. Schulte","year":"1999","unstructured":"Schulte, C.: Comparing Trailing and Copying for Constraint Programming. In: De Schreye (ed.) Proceedings of the Sixteenth International Conference on Logic Programming, Las Cruces, NM, USA, November 1999, pp. 275\u2013289. The MIT Press, Cambridge (1999)"},{"key":"23_CR12","unstructured":"Schulte, C.: Parallel Search Made Simple. In: Beldiceanu, et al. (eds.) Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a postconference workshop of CP 2000 (September 2000)"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/3-540-46000-4_30","volume-title":"Coordination Models and Languages","author":"A. Stam","year":"2002","unstructured":"Stam, A.: A Framework for Coordinating Parallel Branch and Bound Algorithms. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol.\u00a02315, pp. 332\u2013339. Springer, Heidelberg (2002)"},{"key":"23_CR14","series-title":"LNAI","volume-title":"Recent Advances in Constraints","author":"P. Zoeteweij","year":"2003","unstructured":"Zoeteweij, P.: A Coordination-Based Framework for Distributed Constraint Solving. In: O\u2019Sullivan (ed.) DEXA 2003. LNCS (LNAI), vol.\u00a02736, Springer, Heidelberg (2003)"},{"key":"23_CR15","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1145\/952532.952605","volume-title":"Proceedings of the 2003 ACM Symposium on Applied Computing (SAC)","author":"P. Zoeteweij","year":"2003","unstructured":"Zoeteweij, P.: Coordination-Based Distributed Constraint Solving in DICE. In: Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), Melbourne, FL, USA, pp. 360\u2013366. ACM, New York (2003)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24634-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T01:23:18Z","timestamp":1637112198000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24634-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540210443","9783540246343"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24634-3_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}