{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T16:16:13Z","timestamp":1759940173390},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T00:00:00Z","timestamp":1716768000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T00:00:00Z","timestamp":1716768000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100008725","name":"Agencia Nacional de Investigaci\u00f3n e Innovaci\u00f3n","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100008725","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,5,27]]},"DOI":"10.1109\/icbc59979.2024.10634427","type":"proceedings-article","created":{"date-parts":[[2024,8,21]],"date-time":"2024-08-21T22:53:39Z","timestamp":1724280819000},"page":"1-9","source":"Crossref","is-referenced-by-count":1,"title":["Formalising a Gateway-based Blockchain Interoperability Solution with Event-B"],"prefix":"10.1109","author":[{"given":"Guzm\u00e1n","family":"Llamb\u00edas","sequence":"first","affiliation":[{"name":"Universidad de la República,Facultad de Ingeniería,Montevideo,Uruguay"}]},{"given":"Laura","family":"Gonz\u00e1lez","sequence":"additional","affiliation":[{"name":"Universidad de la República,Facultad de Ingeniería,Montevideo,Uruguay"}]},{"given":"Ra\u00fal","family":"Ruggia","sequence":"additional","affiliation":[{"name":"Universidad de la República,Facultad de Ingeniería,Montevideo,Uruguay"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3471140"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/access.2019.2926880"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.19153\/cleiej.25.3.4"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/tem.2019.2920154"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2021.11.004"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3366626.3368129"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.19153\/cleiej.26.2.5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CLEI60451.2023.10346168"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3167172"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2022.102907"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3564532"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP59255.2023.10355573"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3491003.3491006"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-99-7584-6_15"},{"article-title":"System modelling & design using Event-B","year":"2012","author":"Robinson","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-323-96146-2.00028-0"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-44041-1_111"},{"article-title":"Ethereum: A next-generation smart contract and decentralized application platform","year":"2014","author":"Buterin","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3190508.3190538"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0145-y"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-33170-1_19"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24559-6_31"},{"year":"2024","key":"ref24","article-title":"Weaver framework"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2023.3336246"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC51774.2021.00183"}],"event":{"name":"2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","start":{"date-parts":[[2024,5,27]]},"location":"Dublin, Ireland","end":{"date-parts":[[2024,5,31]]}},"container-title":["2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10634319\/10634334\/10634427.pdf?arnumber=10634427","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T05:31:58Z","timestamp":1725427918000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10634427\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,27]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/icbc59979.2024.10634427","relation":{},"subject":[],"published":{"date-parts":[[2024,5,27]]}}}