{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:44Z","timestamp":1761611204075},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431909"},{"type":"electronic","value":"9783540457114"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45711-9_17","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T22:31:39Z","timestamp":1180391499000},"page":"298-321","source":"Crossref","is-referenced-by-count":8,"title":["Temporal Concurrent Constraint Programming: Applications and Behavior"],"prefix":"10.1007","author":[{"given":"Mogens","family":"Nielsen","sequence":"first","affiliation":[]},{"given":"Frank D.","family":"Valencia","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,2,14]]},"reference":[{"key":"17_CR1","unstructured":"M. Benda, V. Jagannathan, and R. Dodhiawala. On Optimal Cooperation of Knowledge Sources\u2014 An Empirical Investigation. Technical Report BCS-G2010-28, Boeing Advanced Technology Center, 1986."},{"issue":"2","key":"17_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":"17_CR3","unstructured":"J. R. Buchi. On a Decision Method in Restricted Second Order Arithmetic. In Proc. Int. Cong. on Logic, Methodology, and Philosophy of Science, pages 1\u201311. Stanford University Press, 1962."},{"key":"17_CR4","doi-asserted-by":"crossref","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.","DOI":"10.1109\/TIME.2001.930721"},{"key":"17_CR5","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":"17_CR6","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":"17_CR7","unstructured":"J. Fredslund. The Assumption Architecture. Progress Report, Department of Computer Science, University of Aarhus, November 1999."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"V. Gupta, R. Jagadeesan, and P. Panangaden. Stochastic Processes as Concurrent Constraint Programs. In Symposium on Principles of Programming Languages, pages 189\u2013202, 1999.","DOI":"10.1145\/292540.292558"},{"key":"17_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-61604-7_48","volume-title":"Models for Concurrent Constraint Programming","author":"V. Gupta","year":"1996","unstructured":"V. Gupta, R. Jagadeesan, and V. Saraswat. Models for Concurrent Constraint Programming. In Ugo Montanari and Vladimiro Sassone, Editors, CONCUR\u2019 96: Concurrency Theory, 7th International Conference, volume 1119 of Lecture Notes in Computer Science, pages 66\u201383, 26\u201329 August 1996."},{"key":"17_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/3-540-63141-0_17","volume-title":"Probabilistic Concurrent Constraint Programming","author":"V. Gupta","year":"1997","unstructured":"V. Gupta, R. Jagadeesan, and V. Saraswat. Probabilistic Concurrent Constraint Programming. In CONCUR\u2019 97: Concurrency Theory, 8th International Conference, volume 1243 of LNCS, pages 243\u2013257, 1\u20134 July 1997."},{"key":"17_CR11","unstructured":"T. Haynes and S. Sen. The Evolution of Multiagent Coordination Strategies. Adaptive Behavior, 1997."},{"key":"17_CR12","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":"17_CR13","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":"17_CR14","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":"17_CR15","unstructured":"R. Milner. Communicating and Mobile Systems: The \u03c0-calculus. Cambridge University Press, 1999."},{"issue":"4","key":"17_CR16","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1162\/106454698568620","volume":"4","author":"S. Nolfi","year":"1998","unstructured":"S. Nolfi and D. Floreano. Coevolving Predator and Prey Robots: Do \u201cArms Races\u201d Arise in Artificial Evolution? Artificial Life, 4(4):311\u2013335, 1998.","journal-title":"Artificial Life"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"C. Palamidessi and F. Valencia. A Temporal Concurrent Constraint Programming Calculus. In Proc. of the Seventh International Conference on Principles and Practice of Constraint Programming, 26 November 2001.","DOI":"10.1007\/3-540-45578-7_21"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"C. Palamidessi and F. Valencia. A Temporal Constraint Programming Calculus. Technical Report RS-01-20, BRICS, University of Aarhus, June 2001. availabevia http:\/\/www.brics.dk\/~fvalenci\/publications.html .","DOI":"10.7146\/brics.v8i20.21681"},{"key":"17_CR19","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming","author":"V. Saraswat","year":"1993","unstructured":"V. Saraswat. Concurrent Constraint Programming. The MIT Press, Cambridge, MA, 1993."},{"key":"17_CR20","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\u20137 July 1994.","DOI":"10.1109\/LICS.1994.316085"},{"issue":"5","key":"17_CR21","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":"17_CR22","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\u201323 January 1991.","DOI":"10.1145\/99583.99627"},{"key":"17_CR23","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(87)90008-9","volume":"49","author":"A. Sistla","year":"1987","unstructured":"A. Sistla, M. Vardi, and P. Wolper. The Complementation Problem for Buchi Automata with Applications to Temporal Logic. Theoretical Computer Science, 49:217\u2013237, 1987.","journal-title":"Theoretical Computer Science"},{"key":"17_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0016844","volume-title":"Constraints in Computational Logics","author":"G. Smolka","year":"1994","unstructured":"G. Smolka. A Foundation for Concurrent Constraint Programming. In Constraints in Computational Logics, volume 845 of Lecture Notes in Computer Science, Munich, Germany, September 1994. Invited Talk."},{"key":"17_CR25","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1023\/A:1008942012299","volume":"8","author":"P. Stone","year":"2000","unstructured":"P. Stone and M. Veloso. Multiagent Systems: A Survey from a Machine Learning Perspective. Autonomous Robots, 8:345\u2013383, 2000.","journal-title":"Autonomous Robots"}],"container-title":["Lecture Notes in Computer Science","Formal and Natural Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45711-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T08:22:31Z","timestamp":1587543751000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45711-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431909","9783540457114"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-45711-9_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}