{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:57Z","timestamp":1742617137451,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616047"},{"type":"electronic","value":"9783540706250"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":[[1996]]},"DOI":"10.1007\/3-540-61604-7_48","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:03:33Z","timestamp":1330293813000},"page":"66-83","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Models for concurrent constraint programming"],"prefix":"10.1007","author":[{"given":"Vineet","family":"Gupta","sequence":"first","affiliation":[]},{"given":"Radha","family":"Jagadeesan","sequence":"additional","affiliation":[]},{"given":"Vijay","family":"Saraswat","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"5_CR1","unstructured":"A. Benveniste and G. Berry, editors. Another Look at Real-time Systems, September 1991. Special issue of the Proceedings of the IEEE."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"G. Berry. Preemption in concurrent systems. In Proc. of FSTTCS. Springer-Verlag, 1993. LNCS 781.","DOI":"10.1007\/3-540-57529-4_44"},{"issue":"5","key":"5_CR3","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1109\/9.53519","volume":"35","author":"A. Benveniste","year":"1990","unstructured":"A. Benveniste and P. Le Guernic. Hybrid dynamical systems and the signal language. IEEE Transactions on Automatic control, 35(5):535\u2013546, 1990.","journal-title":"IEEE Transactions on Automatic control"},{"issue":"2","key":"5_CR4","doi-asserted-by":"crossref","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 programming language: Design, semantics and implementation. Science of Computer Programming, 19(2):87\u2013152, November 1992.","journal-title":"Science of Computer Programming"},{"key":"5_CR5","unstructured":"E. M. Clarke, D. E. Long, and K. L. McMillan. A language for compositional specification and verification of finite state hardware controllers. In Benveniste and Berry [BB91]. Special issue of the Proceedings of the IEEE."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg, editors. REX workshop \u201cReal time: Theory in Practice\u201d, volume 600 of Lecture Notes in Computer Science. Springer Verlag, 1992.","DOI":"10.1007\/BFb0031984"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Johan de Kleer and John Seely Brown. Qualitative Reasoning about Physical Systems, chapter Qualitative Physics Based on Confluences. MIT Press, 1985. Also published in AIJ, 1984.","DOI":"10.1016\/B978-0-444-87670-6.50005-4"},{"key":"5_CR8","unstructured":"P. LeGuernic, M. Le Borgne, T. Gauthier, and C. le Maire. Programming real time applications with signal. In Benveniste and Berry [BB91]. Special issue of the Proceedings of the IEEE."},{"key":"5_CR9","unstructured":"Vineet Gupta, Radha Jagadeesan, and Vijay Saraswat. Computing with continuous change. Science of Computer Programming. To appear."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Vineet Gupta, Radha Jagadeesan, and Vijay Saraswat. Hybrid cc, hybrid automata and program verification. In Alur, Henzinger, and Sontag, editors, Hybrid Systems III, Lecture Notes in Computer Science. Springer Verlag, 1996. To appear.","DOI":"10.1007\/BFb0020935"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Vineet Gupta, Radha Jagadeesan, Vijay Saraswat, and Daniel Bobrow. Programming in hybrid constraint languages. In Panos Antsaklis, Wolf Kohn, Anil Nerode, and Sankar Sastry, editors, Hybrid Systems II, volume 999 of Lecture Notes in Computer Science, pages 226\u2013251. Springer Verlag, November 1995.","DOI":"10.1007\/3-540-60472-3_12"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, editors. Hybrid Systems, volume 736 of Lecture Notes in Computer Science. Springer Verlag, 1993.","DOI":"10.1007\/3-540-57318-6"},{"key":"5_CR13","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual approach to complex systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"5_CR14","unstructured":"N. Halbwachs, P. Caspi, and D. Pilaud. The synchronous programming language lustre. In Benveniste and Berry [BB91]. Special issue of the Proceedings of the IEEE."},{"key":"5_CR15","unstructured":"Pascal Van Hentenryck, Vijay A. Saraswat, and Yves Deville. Constraint processing in cc(fd). Technical report, Computer Science Department, Brown University, 1992."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In de Bakker et al. [dBHdRR92], pages 447\u2013484.","DOI":"10.1007\/BFb0032003"},{"key":"5_CR17","unstructured":"X. Nicollin, J. Sifakis, and S. Yovine. From ATP to timed graphs and hybrid systems. In de Bakker et al. [dBHdRR92]."},{"key":"5_CR18","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Ray Reiter. A logic for default reasoning. Artificial Intelligence, 13:81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"5_CR19","unstructured":"Vijay A. Saraswat. The Category of Constraint Systems is Cartesian-closed. In Proc. 7th IEEE Symp. on Logic in Computer Science, Santa Cruz, 1992."},{"key":"5_CR20","unstructured":"Gert Smolka, Henz, and J. Werz. Constraint Programming: The Newport Papers, chapter Object-oriented programming in Oz. MIT Press, 1994."},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"V. A. Saraswat, R. Jagadeesan, and V. Gupta. Timed Default Concurrent Constraint Programming. Journal of Symbolic Computation. To appear. Extended abstract appeared in the Proceedings of the 22nd ACM Symposium on Principles of Programming Languages, San francisco, January 1995.","DOI":"10.1145\/199448.199513"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"V. A. Saraswat, R. Jagadeesan, and V. Gupta. Foundations of Timed Concurrent Constraint Programming. In Samson Abramsky, editor, Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science, pages 71\u201380. IEEE Computer Press, July 1994.","DOI":"10.1109\/LICS.1994.316085"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"V. A. Saraswat, R. Jagadeesan, and V. Gupta. Programming in timed concurrent constraint languages. In B.Mayoh, E.Tougu, and J.Penjam, editors, Constraint Programming, volume 131 of NATO Advanced Science Institute Series F: Computer and System Sciences, pages 367\u2013413. Springer-Verlag, 1994.","DOI":"10.1007\/978-3-642-85983-0_15"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"V. A. Saraswat, M. Rinard, and P. Panangaden. Semantic foundations of concurrent constraint programming. In Proceedings of Eighteenth ACM Symposium on Principles of Programming Languages, Orlando, January 1991.","DOI":"10.1145\/99583.99627"}],"container-title":["Lecture Notes in Computer Science","CONCUR '96: Concurrency Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61604-7_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:23:06Z","timestamp":1742599386000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61604-7_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616047","9783540706250"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-61604-7_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}