{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:34:42Z","timestamp":1725536082582},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642028458"},{"type":"electronic","value":"9783642028465"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02846-5_44","type":"book-chapter","created":{"date-parts":[[2009,7,20]],"date-time":"2009-07-20T10:44:16Z","timestamp":1248086656000},"page":"509-513","source":"Crossref","is-referenced-by-count":0,"title":["An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems"],"prefix":"10.1007","author":[{"given":"Jes\u00fas","family":"Aranda","sequence":"first","affiliation":[]},{"given":"Gerard","family":"Assayag","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"Olarte","sequence":"additional","affiliation":[]},{"given":"Jorge A.","family":"P\u00e9rez","sequence":"additional","affiliation":[]},{"given":"Camilo","family":"Rueda","sequence":"additional","affiliation":[]},{"given":"Mauricio","family":"Toro","sequence":"additional","affiliation":[]},{"given":"Frank D.","family":"Valencia","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"44_CR1","volume-title":"Proc. of POPL 1991","author":"V.A. Saraswat","year":"1991","unstructured":"Saraswat, V.A., Rinard, M., Panangaden, P.: The semantic foundations of concurrent constraint programming. In: Proc. of POPL 1991. ACM Press, New York (1991)"},{"key":"44_CR2","unstructured":"Nielsen, M., Palamidessi, C., Valencia, F.D.: Temporal concurrent constraint programming: Denotation, logic and applications. Nordic Journal of Computing\u00a09(1) (2002)"},{"key":"44_CR3","volume-title":"Proc. of SAC 2008","author":"C. Olarte","year":"2008","unstructured":"Olarte, C., Valencia, F.D.: Universal concurrent constraint programing: Symbolic semantics and applications to security. In: Proc. of SAC 2008. ACM, New York (2008)"},{"key":"44_CR4","doi-asserted-by":"crossref","unstructured":"Guti\u00e9rrez, J., P\u00e9rez, J.A., Rueda, C., Valencia, F.: Timed concurrent constraint programming for analysing biological systems. Electron. Notes Theor. Comput. Sci.\u00a0171(2) (2007)","DOI":"10.1016\/j.entcs.2007.05.012"},{"key":"44_CR5","unstructured":"Rueda, C., Valencia, F.D.: A temporal concurrent constraint calculus as an audio processing framework. In: Proc. of SMC 2005 (2005)"},{"issue":"3","key":"44_CR6","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. Theor. Comput. Sci.\u00a0330(3), 577\u2013607 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"44_CR7","volume-title":"Proc. of LICS 1994","author":"V. Saraswat","year":"1994","unstructured":"Saraswat, V., Jagadeesan, R., Gupta, V.: Foundations of timed concurrent constraint programming. In: Proc. of LICS 1994. IEEE CS, Los Alamitos (1994)"},{"key":"44_CR8","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":"44_CR9","doi-asserted-by":"crossref","unstructured":"Olarte, C., Valencia, F.D.: The expressivity of universal timed CCP: Undecidability of monadic FLTL and closure operators for security. In: Proc. of PPDP 2008 (2008)","DOI":"10.1145\/1389449.1389452"},{"issue":"5-6","key":"44_CR10","first-page":"545","volume":"4","author":"G. Bella","year":"2004","unstructured":"Bella, G., Bistarelli, S.: Soft constraint programming to analysing security protocols. TPLP\u00a04(5-6), 545\u2013572 (2004)","journal-title":"TPLP"},{"key":"44_CR11","doi-asserted-by":"crossref","unstructured":"Abadi, M., Blanchet, B.: Analyzing Security Protocols with Secrecy Types and Logic Programs. Journal of the ACM\u00a052(1) (2005)","DOI":"10.1145\/1044731.1044735"},{"key":"44_CR12","doi-asserted-by":"crossref","unstructured":"Millen, J.K.: The interrogator: A tool for cryptographic protocol security. In: Proc. of IEEE Symposium on Security and Privacy, pp. 134\u2013141 (1984)","DOI":"10.1109\/SP.1984.10003"},{"key":"44_CR13","unstructured":"Arbel\u00e1ez, A., Guti\u00e9rrez, J., P\u00e9rez, J.A.: Timed Concurrent Constraint Programming in Systems Biology. Newsletter of the ALP\u00a019(4) (2006)"},{"key":"44_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1007\/978-3-540-89982-2_57","volume-title":"Logic Programming","author":"J. Aranda","year":"2008","unstructured":"Aranda, J., P\u00e9rez, J., Rueda, C., Valencia, F.: Stochastic behavior and explicit discrete time in concurrent constraint programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 682\u2013686. Springer, Heidelberg (2008)"},{"issue":"3","key":"44_CR15","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.entcs.2007.12.007","volume":"194","author":"L. Cardelli","year":"2008","unstructured":"Cardelli, L., Gardner, P., Kahramanogullari, O.: A process model of rho gtp-binding proteins in the context of phagocytosis. Electr. Notes Theor. Comput. Sci.\u00a0194(3), 87\u2013102 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"44_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1007\/978-3-540-89982-2_56","volume-title":"Logic Programming","author":"J.A. P\u00e9rez","year":"2008","unstructured":"P\u00e9rez, J.A., Rueda, C.: Non-determinism and Probabilities in Timed Concurrent Constraint Programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 677\u2013681. Springer, Heidelberg (2008)"},{"key":"44_CR17","doi-asserted-by":"crossref","unstructured":"Allombert, A., Assayag, G., Desainte-Catherine, M.: A system of interactive scores based on Petri nets. In: Proc. of SMC 2007 (2007)","DOI":"10.1145\/1413634.1413699"},{"key":"44_CR18","volume-title":"Proc of. MCM 2009","author":"C. Olarte","year":"2009","unstructured":"Olarte, C., Rueda, C.: A declarative language for dynamic multimedia interaction systems. In: Proc of. MCM 2009. Springer, Heidelberg (to appear, 2009)"},{"key":"44_CR19","unstructured":"Sarria, G., Rueda, C.: Real-time concurrent constraint programming. In: Proc. of CLEI 2008 (2008)"},{"key":"44_CR20","unstructured":"Toro, M., Rueda, C., Assayag, G., Ag\u00f3n, C.: NtccRT: A Concurrent Constraint Framework for Real-Time Interaction. In: Proc. of International Computer Music Conference (2009)"},{"key":"44_CR21","unstructured":"Bresson, J., Agon, C., Assayag, G.: Openmusic 5: A cross-platform release of the computer-assisted composition environment. In: Proc. of Brazilian Symposium on Computer Music (2005)"},{"key":"44_CR22","unstructured":"Fober, D., Orlarey, Y., S.L.: Midishare: une architecture logicielle pour la musique. Hermes, 175\u2013194 (2004)"},{"issue":"11","key":"44_CR23","first-page":"1551","volume":"12","author":"M. Alpuente","year":"2006","unstructured":"Alpuente, M., Gallardo, M., Pimentel, E., Villanueva, A.: Verifying Real-Time Properties of tccp Programs. Journal of Universal Computer Science\u00a012(11), 1551\u20131573 (2006)","journal-title":"Journal of Universal Computer Science"},{"issue":"3","key":"44_CR24","first-page":"265","volume":"6","author":"M. Falaschi","year":"2006","unstructured":"Falaschi, M., Villanueva, A.: Automatic verification of timed concurrent constraint programs. TPLP\u00a06(3), 265\u2013300 (2006)","journal-title":"TPLP"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02846-5_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T15:34:11Z","timestamp":1558452851000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02846-5_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642028458","9783642028465"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02846-5_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}