{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,20]],"date-time":"2026-09-20T18:01:37Z","timestamp":1789927297886,"version":"4.0.1"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319068794","type":"print"},{"value":"9783319068800","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06880-0_24","type":"book-chapter","created":{"date-parts":[[2014,5,23]],"date-time":"2014-05-23T04:26:34Z","timestamp":1400819194000},"page":"458-475","source":"Crossref","is-referenced-by-count":1,"title":["TCC, with History"],"prefix":"10.1007","author":[{"given":"Vijay","family":"Saraswat","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vineet","family":"Gupta","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Radha","family":"Jagadeesan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Alenius, L., Gupta, V.: Modeling an AERCam: A case study in modeling with concurrent constraint languages. In: CP 1998 Workshop on Modeling and Computation in the Concurrent Constraint Languages (October 1998)"},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2","author":"J.-M. Andreoli","year":"1992","unstructured":"Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. Journal of Logic and Computation\u00a02, 297\u2013347 (1992)","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"24_CR3","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0167-6423(91)90001-E","volume":"16","author":"A. Benveniste","year":"1991","unstructured":"Benveniste, A., Guernic, P.L., Jacquemot, C.: Synchronous programming with events and relations: the signal language and its semantics. Science of Computer Programming\u00a016(2), 103\u2013149 (1991)","journal-title":"Science of Computer Programming"},{"issue":"2","key":"24_CR4","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The esterel synchronous programming language: design, semantics, implementation. Sci. Comput. Program.\u00a019(2), 87\u2013152 (1992)","journal-title":"Sci. Comput. Program."},{"key":"24_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-540-68265-3_4","volume-title":"Coordination Models and Languages","author":"S. Bistarelli","year":"2008","unstructured":"Bistarelli, S., Gabbrielli, M., Meo, M.C., Santini, F.: Timed soft concurrent constraint programs. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 50\u201366. Springer, Heidelberg (2008)"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/3-540-45619-8_7","volume-title":"Logic Programming","author":"A. Bockmayr","year":"2002","unstructured":"Bockmayr, A., Courtois, A.: Using hybrid concurrent constraint programming to model dynamic biological systems. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol.\u00a02401, pp. 85\u201399. Springer, Heidelberg (2002)"},{"key":"24_CR7","first-page":"178","volume-title":"Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1987","author":"P. Caspi","year":"1987","unstructured":"Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.A.: Lustre: a declarative language for real-time programming. In: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1987, pp. 178\u2013188. ACM, New York (1987)"},{"key":"24_CR8","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1145\/1094811.1094852","volume-title":"Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005","author":"P. Charles","year":"2005","unstructured":"Charles, P., Grothoff, C., Saraswat, V., Donawa, C., Kielstra, A., Ebcioglu, K., von Praun, C., Sarkar, V.: X10: an object-oriented approach to non-uniform cluster computing. In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, pp. 519\u2013538. ACM, New York (2005)"},{"key":"24_CR9","unstructured":"Comini, M., Titolo, L., Villanueva, A.: Abstract diagnosis for timed concurrent constraint programs. CoRR, abs\/1109.1587 (2011)"},{"key":"24_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3-540-45931-6_4","volume-title":"Foundations of Software Science and Computation Structures","author":"F.S. Boer de","year":"2002","unstructured":"de Boer, F.S., Gabbrielli, M., Meo, M.C.: Proving correctness of timed concurrent constraint programs. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 37\u201351. Springer, Heidelberg (2002)"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"de Boer, F.S., Gabbrielli, M., Meo, M.C.: A temporal logic for reasoning about timed concurrent constraint programs. In: Temporal Representation and Reasoning, TIME 2001, pp. 227\u2013233. IEEE (2001)","DOI":"10.1109\/TIME.2001.930721"},{"issue":"1","key":"24_CR12","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1016\/S0890-5401(03)00051-8","volume":"184","author":"J. Desharnais","year":"2003","unstructured":"Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: Approximating labelled markov processes. Inf. Comput.\u00a0184(1), 160\u2013200 (2003)","journal-title":"Inf. Comput."},{"issue":"3","key":"24_CR13","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/j.tcs.2003.09.013","volume":"318","author":"J. Desharnais","year":"2004","unstructured":"Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: Metrics for labelled markov processes. Theor. Comput. Sci.\u00a0318(3), 323\u2013354 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"24_CR14","first-page":"189","volume-title":"Proceedings of the 26th ACM SIGPLAN-SIGACT on Principles of Programming Languages, POPL 1999","author":"V. Gupta","year":"1999","unstructured":"Gupta, V., Jagadeesan, R., Panangaden, P.: Stochastic processes as concurrent constraint programs. In: Proceedings of the 26th ACM SIGPLAN-SIGACT on Principles of Programming Languages, POPL 1999, San Antonio, TX, January 20-22, pp. 189\u2013202. ACM Press, New York (1999)"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Gupta, V., Jagadeesan, R., Panangaden, P.: Approximate reasoning for real-time probabilistic processes. Logical Methods in Computer Science\u00a02(1) (2006)","DOI":"10.2168\/LMCS-2(1:4)2006"},{"key":"24_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/3-540-63141-0_17","volume-title":"CONCUR\u201997: Concurrency Theory","author":"V. Gupta","year":"1997","unstructured":"Gupta, V., Jagadeesan, R., Saraswat, V.: Probabilistic concurrent constraint programming. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol.\u00a01243, pp. 243\u2013257. Springer, Heidelberg (1997)"},{"issue":"1-2","key":"24_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0167-6423(97)00006-3","volume":"30","author":"V. Gupta","year":"1998","unstructured":"Gupta, V., Jagadeesan, R., Saraswat, V.A.: Computing with continuous change. Sci. Comput. Program.\u00a030(1-2), 3\u201349 (1998)","journal-title":"Sci. Comput. Program."},{"key":"24_CR18","unstructured":"Gupta, V., Struss, P.: Modeling a copier paper path: A case study in modeling transportation processes. In: Proceedings of the 9th International Workshop on Qualitative Reasoning, pp. 74\u201383 (1995)"},{"issue":"3","key":"24_CR19","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Program.\u00a08(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"24_CR20","first-page":"111","volume-title":"Proceedings of the 14th Annual ACM Symposium on Principles of Programming Languages, POPL 1987","author":"J. Jaffar","year":"1987","unstructured":"Jaffar, J., Lassez, J.-L.: Constraint Logic Programming. In: Proceedings of the 14th Annual ACM Symposium on Principles of Programming Languages, POPL 1987, Munich, Germany, pp. 111\u2013119. ACM Press, New York (1987)"},{"key":"24_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/11590156_42","volume-title":"FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science","author":"R. Jagadeesan","year":"2005","unstructured":"Jagadeesan, R., Nadathur, G., Saraswat, V.: Testing concurrent systems: an interpretation of intuitionistic logic. In: Sarukkai, S., Sen, S. (eds.) FSTTCS 2005. LNCS, vol.\u00a03821, pp. 517\u2013528. Springer, Heidelberg (2005)"},{"key":"24_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/978-3-540-74915-8_34","volume-title":"Computer Science Logic","author":"C. Liang","year":"2007","unstructured":"Liang, C., Miller, D.: Focusing and polarization in intuitionistic logic. In: Duparc, J., Henzinger, T.A. (eds.) CSL 2007. LNCS, vol.\u00a04646, pp. 451\u2013465. Springer, Heidelberg (2007)"},{"key":"24_CR23","unstructured":"Luckham, D.C. (ed.): The power of events: an introduction to complex event processing in distributed enterprise systems. Addison Wesley (2002)"},{"key":"24_CR24","first-page":"156","volume-title":"Proceedings of the 4th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, PPDP 2002","author":"M. Nielsen","year":"2002","unstructured":"Nielsen, M., Palamidessi, C., Valencia, F.D.: On the expressive power of temporal concurrent constraint programming languages. In: Proceedings of the 4th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, PPDP 2002, pp. 156\u2013167. ACM, New York (2002)"},{"issue":"1","key":"24_CR25","first-page":"145","volume":"9","author":"M. Nielsen","year":"2002","unstructured":"Nielsen, M., Palamidessi, C., Valencia, F.D.: Temporal concurrent constraint programming: Denotation, logic and applications. Nord. J. Comput.\u00a09(1), 145\u2013188 (2002)","journal-title":"Nord. J. Comput."},{"key":"24_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/3-540-45578-7_21","volume-title":"Principles and Practice of Constraint Programming - CP 2001","author":"C. Palamidessi","year":"2001","unstructured":"Palamidessi, C., Valencia, F.: A temporal concurrent constraint programming calculus. In: Walsh, T. (ed.) CP 2001. LNCS, vol.\u00a02239, pp. 302\u2013316. Springer, Heidelberg (2001)"},{"key":"24_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/3-540-56596-5_44","volume-title":"Semantics: Foundations and Applications","author":"P. Panangaden","year":"1993","unstructured":"Panangaden, P., Saraswat, V.A., Scott, P.J., Seely, R.A.G.: A hyperdoctrinal view of concurrent constraint programming. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1992. LNCS, vol.\u00a0666, pp. 457\u2013476. Springer, Heidelberg (1993)"},{"key":"24_CR28","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence\u00a013, 81\u2013137 (1980)","journal-title":"Artificial Intelligence"},{"key":"24_CR29","first-page":"353","volume-title":"Concurrent clustered programming","author":"V. Saraswat","year":"2005","unstructured":"Saraswat, V., Jagadeesan, R.: Concurrent clustered programming, pp. 353\u2013367. Springer, London (2005)"},{"issue":"5-6","key":"24_CR30","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1006\/jsco.1996.0064","volume":"22","author":"V. Saraswat","year":"1996","unstructured":"Saraswat, V., Jagadeesan, R., Gupta, V.: Timed default concurrent constraint programming. Journal of Symbolic Computation\u00a022(5-6), 475\u2013520 (1996)","journal-title":"Journal of Symbolic Computation"},{"key":"24_CR31","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-540-24580-3_23","volume-title":"Progress in Artificial Intelligence","author":"V.A. Saraswat","year":"2003","unstructured":"Saraswat, V.A., Jagadeesan, R., Gupta, V.: jcc: Integrating timed default concurrent constraint programming into java. In: Pires, F.M., Abreu, S.P. (eds.) EPIA 2003. LNCS (LNAI), vol.\u00a02902, pp. 156\u2013170. Springer, Heidelberg (2003)"},{"key":"24_CR32","doi-asserted-by":"crossref","unstructured":"Saraswat, V., Lincoln, P.: Higher-order Linear Concurrent Constraint Programming. Technical report, Xerox PARC (1992)","DOI":"10.7551\/mitpress\/2086.001.0001"},{"key":"24_CR33","doi-asserted-by":"crossref","unstructured":"Saraswat, V., Panangaden, P., Rinard, M.: Semantics of concurrent constraint programming. In: Proceedings of the 18th ACM SIGPLAN-SIGACT on Principles of programming languages, POPL 1991. ACM Press, New York (1991)","DOI":"10.1145\/99583.99627"},{"key":"24_CR34","first-page":"49","volume-title":"Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1987","author":"V.A. Saraswat","year":"1987","unstructured":"Saraswat, V.A.: The concurrent logic programming language cp: Definition and operational semantics. In: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1987, pp. 49\u201362. ACM, New York (1987)"},{"key":"24_CR35","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent constraint programming","author":"V.A. Saraswat","year":"1993","unstructured":"Saraswat, V.A.: Concurrent constraint programming. MIT Press, Cambridge (1993)"},{"key":"24_CR36","volume-title":"Concurrent Prolog","year":"1988","unstructured":"Shapiro, E., Fuchi, K. (eds.): Concurrent Prolog. MIT Press, Cambridge (1988)"},{"key":"24_CR37","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S1571-0661(05)80291-9","volume":"27","author":"S. Tini","year":"1999","unstructured":"Tini, S.: On the expressiveness of timed concurrent constraint programming. Electronic Notes in Theoretical Computer Science\u00a027, 3\u201317 (1999)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"24_CR38","doi-asserted-by":"crossref","unstructured":"Ueda, K.: Guarded Horn Clauses. In: Logic Programming - Japanese Conference, pp. 168\u2013179 (1985)","DOI":"10.1007\/3-540-16479-0_17"},{"issue":"3","key":"24_CR39","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1016\/j.tcs.2004.10.009","volume":"330","author":"F.D. Valencia","year":"2005","unstructured":"Valencia, F.D.: Decidability of infinite-state timed ccp processes and first-order ltl. Theoretical Computer Science\u00a0330(3), 577\u2013607 (2005)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Horizons of the Mind. A Tribute to Prakash Panangaden"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06880-0_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T00:55:38Z","timestamp":1746233738000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06880-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319068794","9783319068800"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06880-0_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}