{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:28:09Z","timestamp":1752460089257},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569398"},{"type":"electronic","value":"9783540478263"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56939-1_108","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:57:09Z","timestamp":1330239429000},"page":"633-644","source":"Crossref","is-referenced-by-count":10,"title":["Efficient analysis of concurrent constraint logic programs"],"prefix":"10.1007","author":[{"given":"Michael","family":"Codish","sequence":"first","affiliation":[]},{"given":"Moreno","family":"Falaschi","sequence":"additional","affiliation":[]},{"given":"Kim","family":"Marriott","sequence":"additional","affiliation":[]},{"given":"William","family":"Winsborough","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"52_CR1","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/BF01784721","volume":"4","author":"S. D. Brookes","year":"1991","unstructured":"S.D. Brookes and A.W. Roscoe. Deadlock Analysis in Networks of Communicating Processes. Distributed Computing, 4:209\u2013230, 1991.","journal-title":"Distributed Computing"},{"issue":"4","key":"52_CR2","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0020-0190(79)90065-6","volume":"9","author":"K. M. Chandy","year":"1979","unstructured":"K.M. Chandy and J. Misra. Deadlock Absence Proofs for Networks of Communicating Processes. Information Proc. Letters, 9(4):185, 1979.","journal-title":"Information Proc. Letters"},{"key":"52_CR3","doi-asserted-by":"crossref","unstructured":"M. Codish, M. Falaschi, and K. Marriott. Suspension Analyses for Concurrent Logic Programs. ACM Transactions on Programming Languages and Systems, 1993. To appear.","DOI":"10.1145\/177492.177656"},{"key":"52_CR4","first-page":"215","volume-title":"Abstract Interpretation for Concurrent Logic Languages","author":"C. Codognet","year":"1990","unstructured":"C. Codognet, P. Codognet, and M. Corsini. Abstract Interpretation for Concurrent Logic Languages. In S. Debray and M. Hermenegildo, editors, Proc. North American Conf. on Logic Programming'90, pages 215\u2013232. The MIT Press, Cambridge, Mass., 1990."},{"key":"52_CR5","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Proc. Fourth ACM Symp. Principles of Programming Languages, pages 238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"key":"52_CR6","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"52_CR7","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0304-3975(84)90017-3","volume":"29","author":"J.-L. Lassez","year":"1984","unstructured":"J.-L. Lassez and M. J. Maher. Closures and Fairness in the Semantics of Programming Logic. Theoretical Computer Science, 29:167\u2013184, 1984.","journal-title":"Theoretical Computer Science"},{"key":"52_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, 1987. Second edition.","edition":"Second edition"},{"key":"52_CR9","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall Int. (UK), 1989."},{"issue":"2","key":"52_CR10","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1145\/117009.117015","volume":"13","author":"W. Peng","year":"1991","unstructured":"W. Peng and S. Purushothaman. Data flow analysis of communicating finite state machines. ACM Transactions on Programming Languages and Systems, 13(2):399\u2013442, 1991.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"52_CR11","doi-asserted-by":"crossref","unstructured":"V. Saraswat, M. Rinard, and P. Panangaden. Semantic Foundation of Concurrent Constraint Programming. In Proc. Eighteenth Annual ACM Symp. on Principles of Programming Languages, 1991.","DOI":"10.1145\/99583.99627"},{"key":"52_CR12","unstructured":"V. A. Saraswat. Concurrent Constraint Programming Languages. PhD thesis, Carnegie-Mellon University, January 1989. Also in ACM Distinguished Dissertation Series."},{"issue":"3","key":"52_CR13","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Y. Shapiro","year":"1989","unstructured":"E. Y. Shapiro. The family of concurrent logic programming languages. ACM Computing Surveys, 21(3):412\u2013510, 1989.","journal-title":"ACM Computing Surveys"},{"key":"52_CR14","first-page":"255","volume-title":"volume 225 of LNCS","author":"R. Yang","year":"1986","unstructured":"R. Yang and H. Aiso. P-Prolog: a parallel language based on exclusive relation. In E. Y. Shapiro, editor, Proc. Third Int'l Conf. on Logic Programming, volume 225 of LNCS, pages 255\u2013269. Springer-Verlag, Berlin, 1986."},{"key":"52_CR15","doi-asserted-by":"crossref","unstructured":"K. Yelick and J. Zachary. Moded type systems for logic programming. In Proc. Sixteenth Annual ACM Symp. on Principles of Programming Languages, pages 116\u2013124. ACM, 1989.","DOI":"10.1145\/75277.75287"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56939-1_108.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T00:09:05Z","timestamp":1640909345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56939-1_108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569398","9783540478263"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-56939-1_108","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}