{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:48:58Z","timestamp":1725583738594},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642207747"},{"type":"electronic","value":"9783642207754"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20775-4_9","type":"book-chapter","created":{"date-parts":[[2011,5,21]],"date-time":"2011-05-21T05:38:36Z","timestamp":1305956316000},"page":"155-173","source":"Crossref","is-referenced-by-count":0,"title":["Bridging the Gap between Two Concurrent Constraint Languages"],"prefix":"10.1007","author":[{"given":"Alexei","family":"Lescaylle","sequence":"first","affiliation":[]},{"given":"Alicia","family":"Villanueva","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"11","key":"9_CR1","first-page":"1551","volume":"12","author":"M. Alpuente","year":"2006","unstructured":"Alpuente, M., Gallardo, M.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":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1016\/j.tcs.2005.08.009","volume":"346","author":"M. Alpuente","year":"2005","unstructured":"Alpuente, M., Gallardo, M., Pimentel, E., Villanueva, A.: A semantic framework for the abstract model checking of tccp programs. Theoretical Computer Science\u00a0346(1), 58\u201395 (2005)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"9_CR3","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1006\/inco.1999.2879","volume":"161","author":"F.S.d. Boer","year":"2000","unstructured":"Boer, F.S.d., Gabbrielli, M., Meo, M.C.: A Timed Concurrent Constraint Language. Information and Computation\u00a0161(1), 45\u201383 (2000)","journal-title":"Information and Computation"},{"key":"9_CR4","first-page":"178","volume-title":"POPL 1987: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"P. Caspi","year":"1987","unstructured":"Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.A.: LUSTRE: a declarative language for real-time programming. In: POPL 1987: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 178\u2013188. ACM, New York (1987)"},{"key":"9_CR5","first-page":"71","volume-title":"Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science","author":"V. Gupta","year":"1994","unstructured":"Gupta, V., Saraswat, V.A., Jagadeesan, R.: Foundations of Timed Concurrent Constraint Programming. In: Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, Paris, France, pp. 71\u201380. IEEE Computer Society Press, Los Alamitos (July 1994)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Harel, D., Pnueli, A.: On the development of reactive systems, pp. 477\u2013498 (1985)","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"9_CR7","unstructured":"Lescaylle, A., Villanueva, A.: Using tccp for the Specification and Verification of Communication Protocols. In: Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007) (2007)"},{"key":"9_CR8","unstructured":"Lescaylle, A., Villanueva, A.: Verification and Simulation of protocols in the declarative paradigm. Technical report, DSIC, Univeridad Polit\u00e9cnica de Valencia (2008), http:\/\/www.dsic.upv.es\/~alescaylle\/files\/dea-08.pdf"},{"issue":"1","key":"9_CR9","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/j.entcs.2009.12.005","volume":"258","author":"A. Lescaylle","year":"2009","unstructured":"Lescaylle, A., Villanueva, A.: The tccp Interpreter. Electron. Notes Theor. Comput. Sci.\u00a0258(1), 63\u201377 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"550","DOI":"10.1007\/BFb0084815","volume-title":"CONCUR 1992","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)"},{"issue":"1","key":"9_CR11","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. Nordic Journal of Computing\u00a09(1), 145\u2013188 (2002)","journal-title":"Nordic Journal of Computing"},{"key":"9_CR12","first-page":"156","volume-title":"PPDP 2002: Proceedings of the 4th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming","author":"M. Nielsen","year":"2002","unstructured":"Nielsen, M., Palamidessi, C., Valencia, F.D.: On the expressive power of temporal concurrent constraint programming languages. In: PPDP 2002: Proceedings of the 4th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pp. 156\u2013167. ACM, New York (2002)"},{"key":"9_CR13","first-page":"8","volume-title":"PPDP 2008: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming","author":"C. Olarte","year":"2008","unstructured":"Olarte, C., Valencia, F.D.: The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. In: PPDP 2008: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, pp. 8\u201319. ACM, New York (2008)"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Olarte, C., Valencia, F.D.: Universal concurrent constraint programing: symbolic semantics and applications to security. In: SAC 2008: Proceedings of the 2008 ACM Symposium on Applied Computing, pp. 145\u2013150. ACM, New York (2008)","DOI":"10.1145\/1363686.1363726"},{"key":"9_CR15","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming Languages","author":"V.A. Saraswat","year":"1993","unstructured":"Saraswat, V.A.: Concurrent Constraint Programming Languages. The MIT Press, Cambridge (1993)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Tini, S.: On the Expressiveness of Timed Concurrent Constraint Programming. In: Electronics Notes in Theoretical Computer Science, Electronics (1999)","DOI":"10.1016\/S1571-0661(05)80291-9"}],"container-title":["Lecture Notes in Computer Science","Functional and Constraint Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20775-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,19]],"date-time":"2020-06-19T11:17:14Z","timestamp":1592565434000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20775-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642207747","9783642207754"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20775-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}