{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:18:55Z","timestamp":1740133135789,"version":"3.37.3"},"reference-count":31,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T00:00:00Z","timestamp":1622505600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T00:00:00Z","timestamp":1622505600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T00:00:00Z","timestamp":1622505600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"EU"},{"name":"Spanish MCI\/AEI","award":["TIN2016-76843-C4-1-R","PID2019-104735RB-C41"],"award-info":[{"award-number":["TIN2016-76843-C4-1-R","PID2019-104735RB-C41"]}]},{"DOI":"10.13039\/501100003359","name":"Generalitat Valenciana","doi-asserted-by":"publisher","award":["Prometeo\/2019\/098 (DeepTrust)"],"award-info":[{"award-number":["Prometeo\/2019\/098 (DeepTrust)"]}],"id":[{"id":"10.13039\/501100003359","id-type":"DOI","asserted-by":"publisher"}]},{"name":"JSPS KAKENHI","award":["JP17H01722"],"award-info":[{"award-number":["JP17H01722"]}]},{"name":"TAILOR"},{"name":"EU Horizon 2020 research and innovation programme","award":["GA 952215"],"award-info":[{"award-number":["GA 952215"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Parallel Distrib. Syst."],"published-print":{"date-parts":[[2021,6,1]]},"DOI":"10.1109\/tpds.2021.3051747","type":"journal-article","created":{"date-parts":[[2021,1,14]],"date-time":"2021-01-14T20:50:40Z","timestamp":1610657440000},"page":"1425-1436","source":"Crossref","is-referenced-by-count":0,"title":["Reversible CSP Computations"],"prefix":"10.1109","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3569-6218","authenticated-orcid":false,"given":"Carlos","family":"Galindo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naoki","family":"Nishida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5096-0008","authenticated-orcid":false,"given":"Josep","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salvador","family":"Tamarit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-52482-1_14"},{"key":"ref30","first-page":"18:1","article-title":"Causally consistent dynamic slicing","author":"perera","year":"2016","journal-title":"Proc Intl Conf CONCUR'92"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2018.10.002"},{"key":"ref11","article-title":"Causal-consistent reversibility","volume":"114","author":"lanese","year":"2014","journal-title":"Bull EATCS"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28644-8_19"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/1297105.1297033","article-title":"Statistically rigorous Java performance evaluation","volume":"42","author":"georges","year":"2007","journal-title":"SIGPlan Notices"},{"key":"ref14","first-page":"1","article-title":"A formal model of provenance in distributed systems","author":"souilah","year":"2009","journal-title":"Proc 1st Workshop Theory Practice Provenance"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(90)90095-Y"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23217-6_20"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2018.06.004"},{"key":"ref18","first-page":"239","article-title":"ReverCSP: Time-travelling in CSP computations","author":"galindo","year":"2020","journal-title":"Proc 12th Int Conf Reversible Comput"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54804-8_26"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.223.7"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2019.00037"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-90686-7_16"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2271-3_5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CCWC.2018.8301703"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.203.4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2017.12.011"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2016.01.006"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-47361-7_1","article-title":"Foundations of reversible computation","author":"aman","year":"2020","journal-title":"Reversible Computation Extending Horizons of Computing"},{"journal-title":"The Theory and Practice of Concurrency","year":"1997","author":"roscoe","key":"ref2"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1147\/rd.53.0183","article-title":"Irreversibility and heat generation in the computing process","volume":"5","author":"landauer","year":"1961","journal-title":"IBM J Res Develop"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.1"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/568522.568525"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2037509.2037529"},{"key":"ref24","first-page":"218","article-title":"A reversible process calculus and the modelling of the ERK signalling pathway","author":"phillips","year":"2012","journal-title":"Proc 4th Int Conf Reversible Comput"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2016.09.003"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)80003-6"},{"key":"ref25","first-page":"167","article-title":"Causal-consistent replay debugging for message passing programs","author":"lanese","year":"2019","journal-title":"Proc 39th Int Conf Formal Techn Distrib Objects Compon Syst"}],"container-title":["IEEE Transactions on Parallel and Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/71\/9321244\/09324973.pdf?arnumber=9324973","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:50:29Z","timestamp":1652194229000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9324973\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,1]]},"references-count":31,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tpds.2021.3051747","relation":{},"ISSN":["1045-9219","1558-2183","2161-9883"],"issn-type":[{"type":"print","value":"1045-9219"},{"type":"electronic","value":"1558-2183"},{"type":"electronic","value":"2161-9883"}],"subject":[],"published":{"date-parts":[[2021,6,1]]}}}