{"id":"https://openalex.org/W2964118374","doi":"https://doi.org/10.1145/3323165.3323183","title":"Blockchain Abstract Data Type","display_name":"Blockchain Abstract Data Type","publication_year":2019,"publication_date":"2019-06-17","ids":{"openalex":"https://openalex.org/W2964118374","doi":"https://doi.org/10.1145/3323165.3323183","mag":"2964118374"},"language":"en","primary_location":{"id":"doi:10.1145/3323165.3323183","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3323165.3323183","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 31st ACM Symposium on Parallelism in Algorithms and Architectures","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://cnrs.hal.science/hal-02380364","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007619367","display_name":"Emmanuelle Anceaume","orcid":"https://orcid.org/0000-0003-4158-149X"},"institutions":[{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Emmanuelle Anceaume","raw_affiliation_strings":["CNRS, Univ Rennes, Inria, IRISA, Rennes, France"],"affiliations":[{"raw_affiliation_string":"CNRS, Univ Rennes, Inria, IRISA, Rennes, France","institution_ids":["https://openalex.org/I2802519937","https://openalex.org/I56067802","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074036371","display_name":"Antonella Del Pozzo","orcid":"https://orcid.org/0000-0003-0913-2141"},"institutions":[{"id":"https://openalex.org/I4210085861","display_name":"Laboratoire d'Int\u00e9gration des Syst\u00e8mes et des Technologies","ror":"https://ror.org/000dbcc61","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131","https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I4210085861","https://openalex.org/I4210117989"]},{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Antonella Del Pozzo","raw_affiliation_strings":["CEA, LIST, PC 174, Gif-sur-Yvette, France"],"affiliations":[{"raw_affiliation_string":"CEA, LIST, PC 174, Gif-sur-Yvette, France","institution_ids":["https://openalex.org/I4210085861","https://openalex.org/I2738703131"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022503765","display_name":"Romaric Ludinard","orcid":"https://orcid.org/0000-0002-4997-4813"},"institutions":[{"id":"https://openalex.org/I4210127572","display_name":"IMT Atlantique","ror":"https://ror.org/030hj3061","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210127572"]},{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Romaric Ludinard","raw_affiliation_strings":["IMT Atlantique, IRISA, Rennes, France"],"affiliations":[{"raw_affiliation_string":"IMT Atlantique, IRISA, Rennes, France","institution_ids":["https://openalex.org/I4210127572","https://openalex.org/I2802519937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080217489","display_name":"Maria Potop-Butucaru","orcid":"https://orcid.org/0000-0001-6488-8326"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210159731","display_name":"LIP6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Maria Potop-Butucaru","raw_affiliation_strings":["Sorbonne Universit\u00e9s, CNRS, Laboratoire d'Informatique de Paris 6, Paris, France"],"affiliations":[{"raw_affiliation_string":"Sorbonne Universit\u00e9s, CNRS, Laboratoire d'Informatique de Paris 6, Paris, France","institution_ids":["https://openalex.org/I4210159731","https://openalex.org/I39804081","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014826305","display_name":"Sara Tucci-Piergiovanni","orcid":"https://orcid.org/0000-0001-9738-9021"},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131"]},{"id":"https://openalex.org/I4210085861","display_name":"Laboratoire d'Int\u00e9gration des Syst\u00e8mes et des Technologies","ror":"https://ror.org/000dbcc61","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131","https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I4210085861","https://openalex.org/I4210117989"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Sara Tucci-Piergiovanni","raw_affiliation_strings":["CEA, LIST, PC 174, Gif-sur-Yvette, France"],"affiliations":[{"raw_affiliation_string":"CEA, LIST, PC 174, Gif-sur-Yvette, France","institution_ids":["https://openalex.org/I4210085861","https://openalex.org/I2738703131"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5007619367"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I2802519937","https://openalex.org/I56067802"],"apc_list":null,"apc_paid":null,"fwci":3.3364,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.92950713,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"349","last_page":"358"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12288","display_name":"Optimization and Search Problems","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7788640856742859},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.7676401734352112},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.7265970706939697},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.6148324608802795},{"id":"https://openalex.org/keywords/eventual-consistency","display_name":"Eventual consistency","score":0.6122568845748901},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5676814913749695},{"id":"https://openalex.org/keywords/blockchain","display_name":"Blockchain","score":0.5165618658065796},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4893431067466736},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.4864913821220398},{"id":"https://openalex.org/keywords/convergence","display_name":"Convergence (economics)","score":0.4701559543609619},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4654887914657593},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3828343152999878},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20150154829025269},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.15238261222839355},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.11790362000465393},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09035190939903259}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7788640856742859},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7676401734352112},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.7265970706939697},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.6148324608802795},{"id":"https://openalex.org/C34422012","wikidata":"https://www.wikidata.org/wiki/Q6125872","display_name":"Eventual consistency","level":4,"score":0.6122568845748901},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5676814913749695},{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.5165618658065796},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4893431067466736},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.4864913821220398},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.4701559543609619},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4654887914657593},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3828343152999878},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20150154829025269},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.15238261222839355},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.11790362000465393},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09035190939903259},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3323165.3323183","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3323165.3323183","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 31st ACM Symposium on Parallelism in Algorithms and Architectures","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-02380364v1","is_oa":true,"landing_page_url":"https://cnrs.hal.science/hal-02380364","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SPAA 2019 - 31st ACM Symposium on Parallelism in Algorithms and Architectures, Jun 2019, Phoenix, Arizona, United States. pp.349-358, &#x27E8;10.1145/3323165.3323183&#x27E9;","raw_type":"Conference papers"},{"id":"pmh:oai:HAL:hal-02443147v1","is_oa":false,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-02443147","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SPAA '19: The 31st ACM Symposium on Parallelism in Algorithms and Architectures","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-02380364v1","is_oa":true,"landing_page_url":"https://cnrs.hal.science/hal-02380364","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SPAA 2019 - 31st ACM Symposium on Parallelism in Algorithms and Architectures, Jun 2019, Phoenix, Arizona, United States. pp.349-358, &#x27E8;10.1145/3323165.3323183&#x27E9;","raw_type":"Conference papers"},"sustainable_development_goals":[{"score":0.5199999809265137,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1819513546","https://openalex.org/W2003214215","https://openalex.org/W2085407655","https://openalex.org/W2117442303","https://openalex.org/W2151102492","https://openalex.org/W2281208003","https://openalex.org/W2287614524","https://openalex.org/W2561675875","https://openalex.org/W2594500212","https://openalex.org/W2738012752","https://openalex.org/W2738891482","https://openalex.org/W2763398287","https://openalex.org/W2788793939","https://openalex.org/W2805810362","https://openalex.org/W2909024672","https://openalex.org/W2912562709","https://openalex.org/W3022578465","https://openalex.org/W3102661748","https://openalex.org/W3137092842","https://openalex.org/W4297824651","https://openalex.org/W6745553878","https://openalex.org/W7018503986"],"related_works":["https://openalex.org/W2157257000","https://openalex.org/W2769374332","https://openalex.org/W2308026613","https://openalex.org/W2294605253","https://openalex.org/W169944433","https://openalex.org/W2358334493","https://openalex.org/W4220723653","https://openalex.org/W2916847028","https://openalex.org/W1645067580","https://openalex.org/W4398186165"],"abstract_inverted_index":{"The":[0,77],"presented":[1,88],"work":[2,55],"continues":[3],"the":[4,14,22,45,70,87],"line":[5],"of":[6,17,30,39,86,93],"recent":[7],"distributed":[8,49],"computing":[9],"community":[10],"efforts":[11],"dedicated":[12],"to":[13,24],"theoretical":[15],"aspects":[16],"blockchains.":[18],"This":[19],"paper":[20,78],"is":[21,56],"first":[23],"specify":[25],"blockchains":[26,96],"as":[27,80],"a":[28,37,91],"composition":[29],"abstract":[31],"data":[32],"types":[33],"all":[34],"together":[35],"with":[36,65],"hierarchy":[38],"consistency":[40,67],"criteria":[41],"that":[42,51],"formally":[43],"characterizes":[44],"histories":[46],"admissible":[47],"for":[48],"programs":[50],"use":[52],"them.":[53],"Our":[54],"based":[57],"on":[58,84],"an":[59],"original":[60],"oracle-based":[61],"construction":[62],"that,":[63],"along":[64],"new":[66],"definitions,":[68],"captures":[69],"eventual":[71],"convergence":[72],"process":[73],"in":[74,102],"blockchain":[75],"systems.":[76],"presents":[79],"well":[81],"some":[82],"results":[83],"implementability":[85],"abstractions":[89],"and":[90,100],"mapping":[92],"representative":[94],"existing":[95],"from":[97],"both":[98],"academia":[99],"industry":[101],"our":[103],"framework.":[104]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":2}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}
