{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:19Z","timestamp":1761611299228},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610526"},{"type":"electronic","value":"9783540499367"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61052-9_36","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:12:38Z","timestamp":1330290758000},"page":"12-27","source":"Crossref","is-referenced-by-count":8,"title":["Graph rewriting and constraint solving for modelling distributed systems with synchronization (extended abstract)"],"prefix":"10.1007","author":[{"given":"Ugo","family":"Montanari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"2_CR1","unstructured":"A. Corradini, P. Degano, and U. Montanari. Specifying highly concurrent data structure manipulation. In G. Bucci and G. Valle, editors, COMPUTING 85: A Broad Perspective of Current Developments. Elsevier Science, 1985."},{"key":"2_CR2","unstructured":"A. Corradini and U. Montanari, editors. Proc. SEGRAGRA95 (Joint COMPUGRAPH\/SEMAGRAPH Workshop on Graph Rewriting and Computation). Elsevier, Electronic Notes on Theoretical Computer Science, 1995."},{"key":"2_CR3","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(92)90043-W","volume":"55","author":"R. Dechter","year":"1992","unstructured":"Rina Dechter. From local to global consistency. Artificial Intelligence, 55:87\u2013107, 1992.","journal-title":"Artificial Intelligence"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"P. Degano and U. Montanari. A model for distributed systems based on graph rewritings. Journal of ACM, 34(2), 1987.","DOI":"10.1145\/23005.24038"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"R. Dechter and J. Pearl. Network-Based Heuristics for Constraint-Satisfaction Problems. In Kanal and Kumar, editors, Search in Artificial Intelligence. Springer-Verlag, 1988.","DOI":"10.1007\/978-1-4613-8788-6_11"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"H. Ehrig. Introduction to the algebraic theory of graph grammars. In Proc. International Workshop on Graph Grammars. Springer Verlag, LNCS 73, 1978.","DOI":"10.1007\/3-540-08442-8_91"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"H. Ehrig. Tutorial introduction to the algebraic theory of graph grammars. In Proc. 3rd International Workshop on Graph Grammars. Springer Verlag, LNCS 291, 1987.","DOI":"10.1007\/3-540-18771-5_40"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"E. Freuder. Synthesizing constraint expressions. Communication of the ACM, 21(11), 1978.","DOI":"10.1145\/359642.359654"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"E. Freuder. Backtrack-free and backtrack-bounded search. In Kanal and Kumar, editors, Search in Artificial Intelligence. Springer-Verlag, 1988.","DOI":"10.1007\/978-1-4613-8788-6_10"},{"key":"2_CR10","unstructured":"A. Habel. Hyperedge Replacement: Grammars and Languages. PhD thesis, University of Bremen, 1989."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"A.K. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8(1), 1977.","DOI":"10.1016\/0004-3702(77)90007-8"},{"key":"2_CR12","unstructured":"A.K. Mackworth. Encyclopedia of AI, chapter Constraint Satisfaction, pages 205\u2013211. Springer Verlag, 1988."},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"A.K. Mackworth and E.C. Freuder. The complexity of some polynomial network consistency algorithms for constraint satisfaction problems. Artificial Intelligence, 25, 1985.","DOI":"10.1016\/0004-3702(85)90041-4"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"U. Montanari. Networks of constraints: Fundamental properties and application to picture processing. Information Science, 7, 1974.","DOI":"10.1016\/0020-0255(74)90008-5"},{"key":"2_CR15","unstructured":"T. Nguyen and Y. Deville. A distributed arc-consistency algorithm. In Proc. of the CCP95 international workshop, 1995."},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"H.J. Schneider and H. Ehrig, editors. Graph Trasformations in Computer Science. Springer Verlag, LNCS 776, 1994.","DOI":"10.1007\/3-540-57787-4"},{"key":"2_CR17","unstructured":"M.R. Sleep, M.J. Plasmeijer, and M.C. van Eekelen, editors. Term Graph Rewriting: Theory and Practice. John Wiley & Sons, 1992."},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"P. van Beek and R. Dechter. Constraint tightness versus global consistency. In Proc. KR94. Morgan Kaufmann, 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50148-2"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"M. Yokoo, T. Ishida, E.H. Durfee, and K. Kuwabara. Distributed constraint satisfaction for formalizing distributed problem solving. In Proc. IEEE International Conference on Distributed Computing Systems, 1992.","DOI":"10.1109\/ICDCS.1992.235101"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"M. Yokoo. Asynchronous weak-committment search for solving distributed constraint satisfaction problems. In Proc. CP95 (Principles and Practice of Constraint Programming). Springer-Verlag, LNCS 976, 1995.","DOI":"10.1007\/3-540-60299-2_6"}],"container-title":["Lecture Notes in Computer Science","Coordination Languages and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61052-9_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:16:13Z","timestamp":1640945773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61052-9_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610526","9783540499367"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-61052-9_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}