{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:34:29Z","timestamp":1725561269009},"publisher-location":"Berlin, Heidelberg","reference-count":53,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206422"},{"type":"electronic","value":"9783540245995"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24599-5_6","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T04:53:55Z","timestamp":1280379235000},"page":"72-101","source":"Crossref","is-referenced-by-count":0,"title":["Concurrency, Time, and Constraints"],"prefix":"10.1007","author":[{"given":"Frank D.","family":"Valencia","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0304-3975(89)90138-2","volume":"65","author":"M. Abadi","year":"1989","unstructured":"Abadi, M.: The power of temporal proofs. Theoretical Computer Science\u00a065, 35\u201384 (1989)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"6_CR2","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J.A. Bergstra","year":"1985","unstructured":"Bergstra, J.A., Klop, J.W.: Algebra of communicating processes with abstraction. Theoretical Computer Science\u00a037(1), 77\u2013121 (1985)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"6_CR3","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. Science of Computer Programming\u00a019(2), 87\u2013152 (1992)","journal-title":"Science of Computer Programming"},{"key":"6_CR4","volume-title":"TIME 2001","author":"F. Boer de","year":"2001","unstructured":"de Boer, F., Gabbrielli, M., Chiara, M.: A temporal logic for reasoning about timed concurrent constraint programs. In: TIME 2001, IEEE Press, Los Alamitos (2001)"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1006\/inco.1999.2879","volume":"161","author":"F. Boer de","year":"2000","unstructured":"de Boer, F., Gabbrielli, M., Meo, M.C.: Atimed concurrent constraint language. Information and Computation\u00a0161, 45\u201383 (2000)","journal-title":"Information and Computation"},{"issue":"1","key":"6_CR6","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0304-3975(95)00047-Z","volume":"151","author":"F. Boer de","year":"1995","unstructured":"de Boer, F., Di Pierro, A., Palamidessi, C.: Nondeterminism and infinite computations in constraint programming. Theoretical Computer Science\u00a0151(1), 37\u201378 (1995)","journal-title":"Theoretical Computer Science"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"de Boer, F.S., Gabbrielli, M., Marchiori, E., Palamidessi, C.: Proving concurrent constraint programs correct. ACM Transactions on Programming Languages and Systems\u00a019(5) (1997)","DOI":"10.1145\/265943.265954"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Diaz, J.F., Rueda, C., Valencia, F.: A calculus for concurrent processes with constraints. CLEI Electronic Journal\u00a01(2) (1998)","DOI":"10.19153\/cleiej.1.2.2"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-46428-X_6","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Dierks","year":"2000","unstructured":"Dierks, H.: A process algebra for real-time programs. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol.\u00a01783, pp. 66\u201381. Springer, Heidelberg (2000)"},{"key":"6_CR10","unstructured":"Fern\u00e1dez, D., Quintero. L.: VIN: An ntcc visual language for LEGO Robots. BSc Thesis, Universidad Javeriana-Cali, Colombia (2003), http:\/\/www.brics.dk\/~fvalenci\/ntcc-tools"},{"key":"6_CR11","unstructured":"Fredslund, J.: The assumption architecture. Progress Report, Department of Computer Science, University of Aarhus (1999)"},{"key":"6_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/3-540-44957-4_31","volume-title":"Computational Logic - CL 2000","author":"D. Gilbert","year":"2000","unstructured":"Gilbert, D., Palamidessi, C.: Concurrent constraint programming with process mobility. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 463\u2013477. Springer, Heidelberg (2000)"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Gupta, V., Jagadeesan, R., Panangaden, P.: Stochastic processes as concurrent constraint programs. In: Symposium on Principles of Programming Languages, pp. 189\u2013202 (1999)","DOI":"10.1145\/292540.292558"},{"issue":"1-2","key":"6_CR14","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. Science of Computer Programming\u00a030(1-2), 3\u201349 (1998)","journal-title":"Science of Computer Programming"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0028726","volume-title":"Computer Aided Verification","author":"N. Halbwachs","year":"1998","unstructured":"Halbwachs, N.: Synchronous programming of systems. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 1\u201316. Springer, Heidelberg (1998)"},{"issue":"9","key":"6_CR16","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data-flowprogramming language LUSTRE. Proc. of the IEEE\u00a079(9), 1305\u20131320 (1991)","journal-title":"Proc. of the IEEE"},{"key":"6_CR17","first-page":"301","volume-title":"Proc. of the International Conference on Logic Programming","author":"S. Haridi","year":"1990","unstructured":"Haridi, S., Janson, S.: Kernel andorra prolog and its computational model. In: Proc. of the International Conference on Logic Programming, pp. 301\u2013309. MIT Press, Cambridge (1990)"},{"key":"6_CR18","volume-title":"Communications Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communications Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"6_CR19","unstructured":"Hurtado, R., Mu\u00f1oz, M.: LMAN: An ntcc Abstract Machine for LEGO Robots. BSc Thesis, Universidad Javeriana-Cali, Colombia (2003), http:\/\/www.brics.dk\/~fvalenci\/ntcc-tools"},{"key":"6_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/3-540-48422-1_11","volume-title":"RoboCup-98: Robot Soccer World Cup II","author":"H.H. Lund","year":"1999","unstructured":"Lund, H.H., Pagliarini, L.: Robot soccer with LEGO mindstorms. In: Asada, M., Kitano, H. (eds.) RoboCup 1998. LNCS (LNAI), vol.\u00a01604, pp. 141\u2013151. Springer, Heidelberg (1999)"},{"key":"6_CR21","volume-title":"The Temporal Logic of Reactive and Concurrent Systems, Specification","author":"Z. Manna","year":"1991","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems, Specification. Springer, Heidelberg (1991)"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1007\/BFb0084815","volume-title":"CONCUR \u201992","author":"F. Maraninchi","year":"1992","unstructured":"Maraninchi, F.: Operational and compositional semantics of synchronous automaton compositions. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol.\u00a0630, pp. 550\u2013564. Springer, Heidelberg (1992)"},{"key":"6_CR23","series-title":"International Series in Computer Science","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989); SU Fisher Research 511\/24"},{"key":"6_CR24","unstructured":"Milner, R.: A finite delay operator in synchronous ccs. Technical Report CSR-116-82, University of Edinburgh (1992)"},{"key":"6_CR25","volume-title":"Communicating and Mobile Systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Montanari, U.: Networks of constraints: Fundamental properties and applications to picture processing. Information Science\u00a07 (1974)","DOI":"10.1016\/0020-0255(74)90008-5"},{"key":"6_CR27","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1145\/571157.571173","volume-title":"Proc. of PPDP 2002","author":"M. Nielsen","year":"2002","unstructured":"Nielsen, M., Palamidessi, C., Valencia, F.: On the expressive power of concurrent constraint programming languages. In: Proc. of PPDP 2002, pp. 156\u2013167. ACM Press, New York (2002)"},{"issue":"2","key":"6_CR28","first-page":"145","volume":"9","author":"M. Nielsen","year":"2002","unstructured":"Nielsen, M., Palamidessi, C., Valencia, F.: Temporal concurrent constraint programming: Denotation, logic and applications. Nordic Journal of Computing\u00a09(2), 145\u2013188 (2002)","journal-title":"Nordic Journal of Computing"},{"key":"6_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/3-540-45711-9_17","volume-title":"Formal and Natural Computing","author":"M. Nielsen","year":"2002","unstructured":"Nielsen, M., Valencia, F.: Temporal Concurrent Constraint Programming: Applications and Behavior. In: Brauer, W., Ehrig, H., Karhum\u00e4ki, J., Salomaa, A. (eds.) Formal and Natural Computing. LNCS, vol.\u00a02300, pp. 298\u2013324. Springer, Heidelberg (2002)"},{"key":"6_CR30","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, p. 302. Springer, Heidelberg (2001)"},{"key":"6_CR31","unstructured":"Petri, C.A.: Fundamentals of a theory of asynchronous information flow. In: Proc. IFIP Congress 1962 (1962)"},{"key":"6_CR32","unstructured":"Plotkin, G.: A structural approach to operational semantics. Technical Report FN-19, DAIMI, University of Aarhus (1981)"},{"key":"6_CR33","series-title":"IEEE","first-page":"46","volume-title":"Proc. of FOCS 1977","author":"A. Pnueli","year":"1977","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proc. of FOCS 1977. IEEE, pp. 46\u201357. IEEE Computer Society Press, Los Alamitos (1977)"},{"key":"6_CR34","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"8","author":"G.M. Reed","year":"1988","unstructured":"Reed, G.M., Roscoe, A.W.: A timed model for communication sequential processes. Theoretical Computer Science\u00a08, 249\u2013261 (1988)","journal-title":"Theoretical Computer Science"},{"key":"6_CR35","doi-asserted-by":"crossref","unstructured":"Rossi, F., Montanari, U.: Concurrent semantics for concurrent constraint programming. In: Constraint Programming: Proc. 1993 NATO ASI, pp. 181\u2013220 (1994)","DOI":"10.1007\/978-3-642-85983-0_8"},{"key":"6_CR36","doi-asserted-by":"crossref","unstructured":"R\u00e9ty, J.H.: Distributed concurrent constraint programming. Fundamenta Informaticae\u00a034(3) (1998)","DOI":"10.3233\/FI-1998-34305"},{"key":"6_CR37","unstructured":"Rueda, C., Valencia, F.: Proving musical properties using a temporal concurrent constraint calculus. In: Proc. of the 28th International Computer Music Conference, ICMC 2002 (2002)"},{"key":"6_CR38","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming","author":"V. Saraswat","year":"1993","unstructured":"Saraswat, V.: Concurrent Constraint Programming. The MIT Press, Cambridge (1993)"},{"key":"6_CR39","doi-asserted-by":"crossref","unstructured":"Saraswat, V., Jagadeesan, R., Gupta, V.: Foundations of timed concurrent constraint programming. In: Proc. of LICS 1994, pp. 71\u201380 (1994)","DOI":"10.1109\/LICS.1994.316085"},{"key":"6_CR40","series-title":"NATO Advanced Science Institute Series","first-page":"361","volume-title":"Constraint Programming","author":"V. Saraswat","year":"1994","unstructured":"Saraswat, V., Jagadeesan, R., Gupta, V.: Programming in timed concurrent constraint languages. In: Constraint Programming. NATO Advanced Science Institute Series, pp. 361\u2013410. Springer, Heidelberg (1994)"},{"key":"6_CR41","doi-asserted-by":"crossref","unstructured":"Saraswat, V., Jagadeesan, R., Gupta, V.: Default timed concurrent constraint programming. In: Proc. of POPL 1995, pp. 272\u2013285 (1995)","DOI":"10.1145\/199448.199513"},{"issue":"5-6","key":"6_CR42","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":"6_CR43","doi-asserted-by":"crossref","unstructured":"Saraswat, V., Jagadeesan, R., Gupta, V.: jcc: Integrating timed default concurrent constraint programming into java (2003), http:\/\/www.cse.psu.edu\/~saraswat\/jcc.html","DOI":"10.1007\/978-3-540-24580-3_23"},{"key":"6_CR44","doi-asserted-by":"crossref","unstructured":"Saraswat, V., Rinard, M., Panangaden, P.: The semantic foundations of concurrent constraint programming. In: POPL 1991, pp. 333\u2013352 (1991)","DOI":"10.1145\/99583.99627"},{"issue":"3","key":"6_CR45","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1990","unstructured":"Shapiro, E.: The Family of Concurrent Logic Programming Languages. Computing Surveys\u00a021(3), 413\u2013510 (1990)","journal-title":"Computing Surveys"},{"key":"6_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0016844","volume-title":"Constraints in Computational Logics","author":"G. Smolka","year":"1994","unstructured":"Smolka, G.: A Foundation for Concurrent Constraint Programming. In: Jouannaud, J.-P. (ed.) CCL 1994. LNCS, vol.\u00a0845, Springer, Heidelberg (1994) (invited talk)"},{"key":"6_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/BFb0015252","volume-title":"Computer Science Today","author":"G. Smolka","year":"1995","unstructured":"Smolka, G.: The Oz programming model. In: van Leeuwen, J. (ed.) Computer Science Today. LNCS, vol.\u00a01000, pp. 324\u2013343. Springer, Heidelberg (1995)"},{"key":"6_CR48","doi-asserted-by":"crossref","unstructured":"Tini, S.: On the expressiveness of timed concurrent constraint programming. Electronics Notes in Theoretical Computer Science (1999)","DOI":"10.1016\/S1571-0661(05)80291-9"},{"key":"6_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/3-540-45315-6_26","volume-title":"Foundations of Software Science and Computation Structures","author":"S. Tini","year":"2001","unstructured":"Tini, S.: An axiomatic semantics for the synchronous language gentzen. In: Honsell, F., Miculan, M. (eds.) FOSSACS 2001. LNCS, vol.\u00a02030, p. 394. Springer, Heidelberg (2001)"},{"key":"6_CR50","unstructured":"Valencia, F.: Temporal Concurrent Constraint Programming. PhD thesis, BRICS, University of Aarhus (2003)"},{"key":"6_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/978-3-540-24599-5_29","volume-title":"Logic Programming","author":"F. Valencia","year":"2003","unstructured":"Valencia, F.: Timed concurrent constraint programming: Decidability results and their application to LTL. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol.\u00a02916, pp. 422\u2013437. Springer, Heidelberg (2003)"},{"key":"6_CR52","unstructured":"Yi, W.: A Calculus for Real Time Systems. PhD thesis, Chalmers Institute of Technology, Sweden (1991)"},{"key":"6_CR53","doi-asserted-by":"crossref","unstructured":"Zuberek, W.M.: Timed petri nets and preliminary performance evaluation. In: Proc. of the 7th Annual Symposium on Computer Architecture, pp. 88\u201396. ACM\/IEEE (1980)","DOI":"10.1145\/800053.801913"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24599-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,9]],"date-time":"2020-06-09T14:57:25Z","timestamp":1591714645000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24599-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206422","9783540245995"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24599-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}