{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:06:11Z","timestamp":1742911571765,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540428633"},{"type":"electronic","value":"9783540455783"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45578-7_21","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T06:34:25Z","timestamp":1180334065000},"page":"302-316","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["A Temporal Concurrent Constraint Programming Calculus"],"prefix":"10.1007","author":[{"given":"Catuscia","family":"Palamidessi","sequence":"first","affiliation":[]},{"given":"Frank D.","family":"Valencia","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,11,19]]},"reference":[{"key":"21_CR1","unstructured":"G. Alvarez, J.F. Diaz, L.O. Quesada, C. Rueda, G. Tamura, F. Valencia, and G. Assayag. Integrating constraints and concurrent objects in musical applications: A calculus and its visual language. Constraints, January 2001."},{"issue":"2","key":"21_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Gonthier. The Esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19(2):87\u2013152, November 1992.","journal-title":"Science of Computer Programming"},{"key":"21_CR3","unstructured":"F. de Boer, M. Gabbrielli, and M. Chiara. A temporal logic for reasoning about timed concurrent constraint programs. In TIME 01. IEEE Press, 2001."},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"F. de Boer, M. Gabbrielli, and M. C. Meo. A timed concurrent constraint language. Information and Computation, 1999. To appear.","DOI":"10.1006\/inco.1999.2879"},{"issue":"5","key":"21_CR5","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1145\/265943.265954","volume":"19","author":"F. S. Boer de","year":"1997","unstructured":"F. S. de Boer, M. Gabbrielli, E. Marchiori, and C. Palamidessi. Proving concurrent constraint programs correct. ACM Transactions on Programming Languages and Systems, 19(5):685\u2013725, 1997.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"J.F. Diaz, C. Rueda, and F. Valencia. A calculus for concurrent processes with constraints. CLEI Electronic Journal, 1(2), December 1998.","DOI":"10.19153\/cleiej.1.2.2"},{"issue":"2","key":"21_CR7","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/S0304-3975(97)00328-9","volume":"183","author":"M. Falaschi","year":"1997","unstructured":"M. Falaschi, M. Gabbrielli, K. Marriott, and C. Palamidessi. Confiuence in concurrent constraint programming. Theoretical Computer Science, 183(2):281\u2013315, 1997.","journal-title":"Theoretical Computer Science"},{"key":"21_CR8","unstructured":"J. Fredslund. The assumption architecture. Progress Report, Department of Computer Science, University of Aarhus, November 1999."},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"O. Herescu and C. Palamidessi. Probabilistic asynchronous pi-calculus. FoSSaCS, pages 146\u2013160, 2000.","DOI":"10.1007\/3-540-46432-8_10"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"I. Hodkinson, F. Wolter, and M. Zakharyaschev. Decidable fragments of first-order temporal logics. In Annals of Pure and Applied Logic, 2000.","DOI":"10.1016\/S0168-0072(00)00018-X"},{"key":"21_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Robot soccer with LEGO mindstorms","author":"H. H. Lund","year":"1999","unstructured":"H. H. Lund and L. Pagliarini. Robot soccer with LEGO mindstorms. Lecture Notes in Computer Science, 1604, 1999."},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems, Specification. Springer, 1991.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"21_CR13","unstructured":"R. Milner. A finite delay operator in synchronous ccs. Technical Report CSR-116-82, University of Edinburgh, 1992."},{"key":"21_CR14","unstructured":"R. Milner. Communicating and Mobile Systems: the \u03c0-calculus. Cambridge University Press, 1999."},{"issue":"1\u20132","key":"21_CR15","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter. A logic for default reasoning. Artificial Intelligence, 13(1\u20132):81\u2013132, April 1980.","journal-title":"Artificial Intelligence"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"V. Saraswat, R. Jagadeesan, and V. Gupta. Foundations of timed concurrent constraint programming. In Proc. of the Ninth Annual IEEE Symposium on Logic in Computer Science, pages 71\u201380, 4-7 July 1994.","DOI":"10.1109\/LICS.1994.316085"},{"issue":"5\u20136","key":"21_CR17","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1006\/jsco.1996.0064","volume":"22","author":"V. Saraswat","year":"1996","unstructured":"V. Saraswat, R. Jagadeesan, and V. Gupta. Timed default concurrent constraint programming. Journal of Symbolic Computation, 22(5\u20136):475\u2013520, November-December 1996.","journal-title":"Journal of Symbolic Computation"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"V. Saraswat, M. Rinard, and P. Panangaden. The semantic foundations of concurrent constraint programming. In POPL\u2019 91. Proceedings of the eighteenth annual ACM symposium on Principles of programming languages, pages 333\u2013352, 21-23 January 1991.","DOI":"10.1145\/99583.99627"},{"key":"21_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/BFb0015252","volume-title":"Computer Science Today","author":"G. Smolka","year":"1995","unstructured":"G. Smolka. The Oz programming model. In Jan van Leeuwen, editor, Computer Science Today, Lecture Notes in Computer Science, vol. 1000, pages 324\u2013343. Springer-Verlag, Berlin, 1995."},{"key":"21_CR20","unstructured":"F. Valencia. Reactive constraint programming. Progress Report, BRICS, June 2000. Availabe via http:\/\/www.brics.dk\/~fvalenci\/publications.html ."},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"G. Winskel. The Formal Semantics of Programming Languages. The MIT Press, 1993.","DOI":"10.7551\/mitpress\/3054.001.0001"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP 2001"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45578-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T18:35:59Z","timestamp":1737052559000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45578-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540428633","9783540455783"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-45578-7_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"19 November 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}