{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T18:08:48Z","timestamp":1762625328443,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T00:00:00Z","timestamp":1725840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100003359","name":"Generalitat Valenciana","doi-asserted-by":"publisher","award":["CIPROM\/2022\/6"],"award-info":[{"award-number":["CIPROM\/2022\/6"]}],"id":[{"id":"10.13039\/501100003359","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100011033","name":"Agencia Estatal de Investigaci\u00f3n","doi-asserted-by":"publisher","award":["PID2019-108528RB-C22","PID2021-125527NB-I00","TED2021-130666B-I00","PID2021-122830OB-C42"],"award-info":[{"award-number":["PID2019-108528RB-C22","PID2021-125527NB-I00","TED2021-130666B-I00","PID2021-122830OB-C42"]}],"id":[{"id":"10.13039\/501100011033","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100004415","name":"North Atlantic Treaty Organization","doi-asserted-by":"publisher","award":["G6133"],"award-info":[{"award-number":["G6133"]}],"id":[{"id":"10.13039\/100004415","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,9]]},"DOI":"10.1145\/3678232.3678237","type":"proceedings-article","created":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:35:17Z","timestamp":1725489317000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Programming Open Distributed Systems in Maude"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5864-8094","authenticated-orcid":false,"given":"Francisco","family":"Dur\u00e1n","sequence":"first","affiliation":[{"name":"University of M\u00e1laga, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9154-262X","authenticated-orcid":false,"given":"Steven","family":"Eker","sequence":"additional","affiliation":[{"name":"SRI International, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3550-4781","authenticated-orcid":false,"given":"Santiago","family":"Escobar","sequence":"additional","affiliation":[{"name":"Universitat Polit\u00e8cnica de Val\u00e8ncia, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6576-762X","authenticated-orcid":false,"given":"Narciso","family":"Mart\u00ed-Oliet","sequence":"additional","affiliation":[{"name":"Universidad Complutense de Madrid, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4779-3848","authenticated-orcid":false,"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2983-3404","authenticated-orcid":false,"given":"Rub\u00e9n","family":"Rubio","sequence":"additional","affiliation":[{"name":"Universidad Complutense de Madrid, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2845-7144","authenticated-orcid":false,"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[{"name":"SRI International, USA"}]}],"member":"320","published-online":{"date-parts":[[2024,9,9]]},"reference":[{"doi-asserted-by":"publisher","unstructured":"G. Agha and C. Hewitt. 1988. Concurrent Programming Using Actors. In Object-Oriented Concurrent Programming A.\u00a0Yonezawa and M.\u00a0Tokoro (Eds.). MIT Press 37\u201353. https:\/\/doi.org\/10.1007\/3-540-16042-6_2","key":"e_1_3_2_1_1_1","DOI":"10.1007\/3-540-16042-6_2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1016\/J.ENTCS.2005.10.040"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1007\/978-3-642-22944-2_28"},{"doi-asserted-by":"publisher","unstructured":"K. Bae S. Escobar and J. Meseguer. 2013. Abstract Logical Model Checking of Infinite-State Systems Using Narrowing. In Rewriting Techniques and Applications (RTA\u201913)(LIPIcs Vol.\u00a021). Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik 81\u201396. https:\/\/doi.org\/10.4230\/LIPICS.RTA.2013.81","key":"e_1_3_2_1_4_1","DOI":"10.4230\/LIPICS.RTA.2013.81"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1016\/J.SCICO.2014.02.006"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1016\/S0304-3975(99)00206-6"},{"unstructured":"M. Clavel F. Dur\u00e1n S. Eker S. Escobar P. Lincoln N. Mart\u00ed-Oliet J. Meseguer and C. Talcott. 2024. Maude Manual (Version 3.4). (2024). Available at https:\/\/maude.cs.illinois.edu\/manual.pdf.","key":"e_1_3_2_1_7_1"},{"doi-asserted-by":"publisher","unstructured":"M. Clavel F. Dur\u00e1n S. Eker P. Lincoln N. Mart\u00ed-Oliet J. Meseguer and C.L. Talcott. 2007. All About Maude - A High-Performance Logical Framework. LNCS Vol.\u00a04350. https:\/\/doi.org\/10.1007\/978-3-540-71999-1","key":"e_1_3_2_1_8_1","DOI":"10.1007\/978-3-540-71999-1"},{"doi-asserted-by":"publisher","unstructured":"F. Dur\u00e1n S. Eker S. Escobar N. Mart\u00ed-Oliet J. Meseguer R. Rubio and C. Talcott. 2020. Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. 110 (2020). https:\/\/doi.org\/10.1016\/J.JLAMP.2019.100497","key":"e_1_3_2_1_9_1","DOI":"10.1016\/J.JLAMP.2019.100497"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1007\/3-540-44829-2_16"},{"doi-asserted-by":"crossref","unstructured":"C. Hewitt and P. de Jong. 1982. Open Systems. In On Conceptual Modelling Perspectives from Artificial Intelligence Databases and Programming Languages Book resulting from the Intervale Workshop 1982(Topics in information systems) M.\u00a0L. Brodie J.\u00a0Mylopoulos and J.\u00a0W. Schmidt (Eds.). Springer 147\u2013164.","key":"e_1_3_2_1_11_1","DOI":"10.1007\/978-1-4612-5196-5_6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/3563299"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1007\/978-3-030-55754-6_2"},{"doi-asserted-by":"publisher","unstructured":"P. Mehrgardt M. Khushi S. Poon and A. Withana. 2022. Pulse Transit Time PPG Dataset (version 1.1.0). PhysioNet. https:\/\/doi.org\/10.13026\/jpan-6n92","key":"e_1_3_2_1_14_1","DOI":"10.13026\/jpan-6n92"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1016\/0304-3975(92)90182-F"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1145\/97945.97958"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1016\/J.JLAP.2012.06.003"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1016\/J.SCICO.2013.07.004"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1007\/978-3-031-43345-0_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1016\/J.TCS.2008.04.040"},{"unstructured":"G. Moody and A. Goldberger. 1996. MIT-BIH database: Heart rate time series. MIT. http:\/\/ecg.mit.edu\/time-series\/Obtained from Web Archive capture on April 10th 2022.","key":"e_1_3_2_1_21_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1007\/S10990-007-9001-5"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1007\/978-3-031-12441-9_14"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1016\/J.JLAMP.2021.100700"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1007\/S10515-021-00307-9"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1007\/978-3-031-27481-7_15"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1007\/978-3-319-12904-4_15"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1007\/978-3-642-16310-4_11"}],"event":{"acronym":"PPDP 2024","name":"PPDP 2024: 26th International Symposium on Principles and Practice of Declarative Programming","location":"Milano Italy"},"container-title":["Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3678232.3678237","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3678232.3678237","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:54:09Z","timestamp":1750287249000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3678232.3678237"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,9]]},"references-count":28,"alternative-id":["10.1145\/3678232.3678237","10.1145\/3678232"],"URL":"https:\/\/doi.org\/10.1145\/3678232.3678237","relation":{},"subject":[],"published":{"date-parts":[[2024,9,9]]},"assertion":[{"value":"2024-09-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}