{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T12:15:19Z","timestamp":1768824919753,"version":"3.49.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319998398","type":"print"},{"value":"9783319998404","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-99840-4_13","type":"book-chapter","created":{"date-parts":[[2018,9,7]],"date-time":"2018-09-07T11:29:08Z","timestamp":1536319748000},"page":"226-244","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming"],"prefix":"10.1007","author":[{"given":"Sergio","family":"Ram\u00edrez","sequence":"first","affiliation":[]},{"given":"Miguel","family":"Romero","sequence":"additional","affiliation":[]},{"given":"Camilo","family":"Rocha","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Valencia","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,8]]},"reference":[{"key":"13_CR1","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.A., Rueda, C., Valencia, F.D.: Stochastic behavior and explicit discrete time in concurrent constraint programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 682\u2013686. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89982-2_57"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-22110-1_14","volume-title":"Computer Aided Verification","author":"C Barrett","year":"2011","unstructured":"Barrett, C., et al.: CVC4. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 171\u2013177. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_14"},{"issue":"1\u20133","key":"13_CR3","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1016\/j.tcs.2006.04.012","volume":"360","author":"R Bruni","year":"2006","unstructured":"Bruni, R., Meseguer, J.: Semantic foundations for generalized rewrite theories. Theor. Comput. Sci. 360(1\u20133), 386\u2013414 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR4","unstructured":"Chiarugi, D., Falaschi, M., Hermith, D., Marangoni, R., Olarte, C.: Stochastic modelling of non markovian dynamics in biochemical reactions. In: Rojas, I., Guzman, F.M.O. (eds.) International Work-Conference on Bioinformatics and Biomedical Engineering, IWBBIO 2013, Granada, Spain, 18\u201320 March 2013. Proceedings, pp. 537\u2013544. Copicentro Editorial (2013)"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71999-1","volume-title":"All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic","author":"M Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71999-1"},{"key":"13_CR6","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.: A timed concurrent constraint language. Inf. Comput. 161, 45\u201383 (2000)","journal-title":"Inf. Comput."},{"issue":"1\u20132","key":"13_CR7","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/S0304-3975(01)00165-7","volume":"275","author":"P Degano","year":"2002","unstructured":"Degano, P., Gadducci, F., Priami, C.: A causal semantics for CCS via rewriting logic. Theor. Comput. Sci. 275(1\u20132), 259\u2013282 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1007\/978-3-319-08867-9_49","volume-title":"Computer Aided Verification","author":"B Dutertre","year":"2014","unstructured":"Dutertre, B.: Yices 2.2. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 737\u2013744. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08867-9_49"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/3-540-44957-4_31","volume-title":"Computational Logic \u2014 CL 2000","author":"D Gilbert","year":"2000","unstructured":"Gilbert, D., Palamidessi, C.: Concurrent constraint programming with process mobility. In: Lloyd, J., et al. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 463\u2013477. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44957-4_31"},{"key":"13_CR10","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\u20132","key":"13_CR11","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. 30(1\u20132), 3\u201349 (1998)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"13_CR12","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/j.jlamp.2016.09.001","volume":"86","author":"M Guzm\u00e1n","year":"2017","unstructured":"Guzm\u00e1n, M., Haar, S., Perchy, S., Rueda, C., Valencia, F.D.: Belief, knowledge, lies and other utterances in an algebra for space and extrusion. J. Log. Algebr. Methods Program. 86(1), 107\u2013133 (2017)","journal-title":"J. Log. Algebr. Methods Program."},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-642-32940-1_23","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"S Knight","year":"2012","unstructured":"Knight, S., Palamidessi, C., Panangaden, P., Valencia, F.D.: Spatial and epistemic modalities in constraint-based process calculi. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 317\u2013332. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32940-1_23"},{"issue":"1","key":"13_CR14","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theor. Comput. Sci. 96(1), 73\u2013155 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.ic.2013.08.004","volume":"231","author":"J Meseguer","year":"2013","unstructured":"Meseguer, J., Ro\u015fu, G.: The rewriting logic semantics project: a progress report. Inf. Comput. 231, 38\u201369 (2013)","journal-title":"Inf. Comput."},{"issue":"1","key":"13_CR16","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 J. Comput. 9(1), 145\u2013188 (2002)","journal-title":"Nordic J. Comput."},{"key":"13_CR17","unstructured":"Okasaki, C.: Purely Functional Data Structures. Cambridge University Press, Cambridge (1. paperback ed., transf. to digital printing edition) (2003). OCLC: 552279078"},{"issue":"2","key":"13_CR18","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/S0304-3975(01)00363-2","volume":"285","author":"PC \u00d6lveczky","year":"2002","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Specification of real-time and hybrid systems in rewriting logic. Theor. Comput. Sci. 285(2), 359\u2013405 (2002)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"13_CR19","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2007.06.005","volume":"176","author":"PC \u00d6lveczky","year":"2007","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Abstraction and completeness for Real-Time Maude. Electron. Notes Theor. Comput. Sci. 176(4), 5\u201327 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"13_CR20","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":"JA 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. 5366, pp. 677\u2013681. Springer, Berlin, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89982-2_56"},{"issue":"1","key":"13_CR21","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/j.jlamp.2016.10.001","volume":"86","author":"C Rocha","year":"2017","unstructured":"Rocha, C., Meseguer, J., Mu\u00f1oz, C.: Rewriting modulo SMT and open system analysis. J. Log. Algebr Methods Program. 86(1), 269\u2013297 (2017)","journal-title":"J. Log. Algebr Methods Program."},{"key":"13_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/978-3-319-77935-5_29","volume-title":"NASA Formal Methods","author":"M Romero","year":"2018","unstructured":"Romero, M., Rocha, C.: Symbolic execution and reachability analysis using rewriting modulo SMT for spatial concurrent constraint systems with extrusion. In: Dutle, A., Mu\u00f1oz, C., Narkawicz, A. (eds.) NFM 2018. LNCS, vol. 10811, pp. 435\u2013451. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-77935-5_29"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Saraswat, V., Jagadeesan, R., Gupta, V.: Foundations of timed concurrent constraint programming. In: Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science, pp. 71\u201380, 4\u20137 July 1994","DOI":"10.1109\/LICS.1994.316085"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Saraswat, V., Jagadeesan, R., Gupta, V.: Foundations of timed concurrent constraint programming, pp. 71\u201380. In: IEEE Computer Society Press (1994)","DOI":"10.1109\/LICS.1994.316085"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Saraswat, V., Jagadeesan, R., Gupta, V.: Default timed concurrent constraint programming. In: Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 272\u2013285, Jan 1995","DOI":"10.1145\/199448.199513"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., Rinard, M., Panangaden, P.: Semantic foundations of concurrent constraint programming. In: POPL 1991, pp. 333\u2013352. ACM (1991)","DOI":"10.1145\/99583.99627"},{"key":"13_CR27","unstructured":"Sarria, G., Rueda, C.: Real-time concurrent constraint programming. In: 34th Latin American Conference on Informatics (CLEI 2008), pp. 379\u2013391. CLEI (2008)"},{"issue":"1\u20132","key":"13_CR28","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s10703-005-2254-x","volume":"27","author":"A Verdejo","year":"2005","unstructured":"Verdejo, A., Mart\u00ed-Oliet, N.: Two case studies of semantics execution in Maude: CCS and LOTOS. Form. Methods Syst. Design 27(1\u20132), 113\u2013172 (2005)","journal-title":"Form. Methods Syst. Design"}],"container-title":["Lecture Notes in Computer Science","Rewriting Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99840-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T23:48:01Z","timestamp":1751845681000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99840-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319998398","9783319998404"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99840-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}