{"id":"https://openalex.org/W3153567649","doi":"https://doi.org/10.1145/3447865.3457964","title":"Towards the Synthesis of Coherence/Replication Protocols from Consistency Models via Real-Time Orderings","display_name":"Towards the Synthesis of Coherence/Replication Protocols from Consistency Models via Real-Time Orderings","publication_year":2021,"publication_date":"2021-04-10","ids":{"openalex":"https://openalex.org/W3153567649","doi":"https://doi.org/10.1145/3447865.3457964","mag":"3153567649"},"language":"en","primary_location":{"id":"doi:10.1145/3447865.3457964","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3447865.3457964","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 8th Workshop on Principles and Practice of Consistency for Distributed Data","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.research.ed.ac.uk/en/publications/83130e73-58a0-4839-997e-0b78fa550597","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063614902","display_name":"Vasilis Gavrielatos","orcid":"https://orcid.org/0000-0002-2933-2688"},"institutions":[{"id":"https://openalex.org/I142617266","display_name":"University of Crete","ror":"https://ror.org/00dr28g20","country_code":"GR","type":"education","lineage":["https://openalex.org/I142617266"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Vasilis Gavrielatos","raw_affiliation_strings":["University of Crete & FORTH-ICS"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Crete & FORTH-ICS","institution_ids":["https://openalex.org/I142617266"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056071760","display_name":"Vijay Nagarajan","orcid":"https://orcid.org/0009-0000-5045-4754"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Vijay Nagarajan","raw_affiliation_strings":["The University of Edinburgh"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Edinburgh","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019462315","display_name":"Panagiota Fatourou","orcid":"https://orcid.org/0000-0002-6265-6895"},"institutions":[{"id":"https://openalex.org/I142617266","display_name":"University of Crete","ror":"https://ror.org/00dr28g20","country_code":"GR","type":"education","lineage":["https://openalex.org/I142617266"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Panagiota Fatourou","raw_affiliation_strings":["University of Crete & FORTH-ICS"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Crete & FORTH-ICS","institution_ids":["https://openalex.org/I142617266"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04972578,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T13471","display_name":"Cognitive Functions and Memory","score":0.9907000064849854,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8511734008789062},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.8464989066123962},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.7798315286636353},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.7561408281326294},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.7522411942481995},{"id":"https://openalex.org/keywords/cache-coherence","display_name":"Cache coherence","score":0.6398798227310181},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5715101957321167},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5644612312316895},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.538607120513916},{"id":"https://openalex.org/keywords/universal-composability","display_name":"Universal composability","score":0.5329951047897339},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5282268524169922},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5044597387313843},{"id":"https://openalex.org/keywords/replication","display_name":"Replication (statistics)","score":0.48277559876441956},{"id":"https://openalex.org/keywords/eventual-consistency","display_name":"Eventual consistency","score":0.44918709993362427},{"id":"https://openalex.org/keywords/weak-consistency","display_name":"Weak consistency","score":0.4427310824394226},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.42864301800727844},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3866177797317505},{"id":"https://openalex.org/keywords/strong-consistency","display_name":"Strong consistency","score":0.3456462621688843},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.2469358742237091},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.23599517345428467},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.21920916438102722},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.18776658177375793},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11515522003173828},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.0904977023601532}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8511734008789062},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.8464989066123962},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7798315286636353},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.7561408281326294},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.7522411942481995},{"id":"https://openalex.org/C141917322","wikidata":"https://www.wikidata.org/wiki/Q1025017","display_name":"Cache coherence","level":5,"score":0.6398798227310181},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5715101957321167},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5644612312316895},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.538607120513916},{"id":"https://openalex.org/C165751822","wikidata":"https://www.wikidata.org/wiki/Q7894118","display_name":"Universal composability","level":4,"score":0.5329951047897339},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5282268524169922},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5044597387313843},{"id":"https://openalex.org/C12590798","wikidata":"https://www.wikidata.org/wiki/Q3933199","display_name":"Replication (statistics)","level":2,"score":0.48277559876441956},{"id":"https://openalex.org/C34422012","wikidata":"https://www.wikidata.org/wiki/Q6125872","display_name":"Eventual consistency","level":4,"score":0.44918709993362427},{"id":"https://openalex.org/C122377713","wikidata":"https://www.wikidata.org/wiki/Q4422799","display_name":"Weak consistency","level":4,"score":0.4427310824394226},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.42864301800727844},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3866177797317505},{"id":"https://openalex.org/C31388003","wikidata":"https://www.wikidata.org/wiki/Q7624548","display_name":"Strong consistency","level":3,"score":0.3456462621688843},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.2469358742237091},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.23599517345428467},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.21920916438102722},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.18776658177375793},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11515522003173828},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0904977023601532},{"id":"https://openalex.org/C38556500","wikidata":"https://www.wikidata.org/wiki/Q13404475","display_name":"Cache algorithms","level":4,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.0},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C189783530","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"CPU cache","level":3,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3447865.3457964","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3447865.3457964","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 8th Workshop on Principles and Practice of Consistency for Distributed Data","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.ed.ac.uk:publications/83130e73-58a0-4839-997e-0b78fa550597","is_oa":true,"landing_page_url":null,"pdf_url":"https://www.research.ed.ac.uk/en/publications/83130e73-58a0-4839-997e-0b78fa550597","source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:pure.ed.ac.uk:publications/83130e73-58a0-4839-997e-0b78fa550597","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/83130e73-58a0-4839-997e-0b78fa550597","pdf_url":"https://www.research.ed.ac.uk/en/publications/83130e73-58a0-4839-997e-0b78fa550597","source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"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":"Gavrielatos, V, Nagarajan, V & Fatourou, P 2021, Towards the Synthesis of Coherence/Replication Protocols from Consistency Models via Real-Time Orderings. in Proceedings of the 8th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC '21)., 5, Association for Computing Machinery (ACM), 8th Workshop on Principles and Practice of Consistency for Distributed Data, Virtual, 26/04/21. https://doi.org/10.1145/3447865.3457964","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"pmh:oai:pure.ed.ac.uk:publications/83130e73-58a0-4839-997e-0b78fa550597","is_oa":true,"landing_page_url":null,"pdf_url":"https://www.research.ed.ac.uk/en/publications/83130e73-58a0-4839-997e-0b78fa550597","source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3276400090","display_name":"EPSRC Centre for Doctoral Training in Pervasive Parallelism","funder_award_id":"EP/L01503X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W3153567649.pdf"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W192446467","https://openalex.org/W1525350307","https://openalex.org/W1542985837","https://openalex.org/W2001803004","https://openalex.org/W2046654145","https://openalex.org/W2075854425","https://openalex.org/W2101939036","https://openalex.org/W2114387290","https://openalex.org/W2116454140","https://openalex.org/W2137443348","https://openalex.org/W2599369390","https://openalex.org/W2737641788","https://openalex.org/W2738891045","https://openalex.org/W2766289313","https://openalex.org/W2797982070","https://openalex.org/W3005135768","https://openalex.org/W4250000334","https://openalex.org/W6713952355"],"related_works":["https://openalex.org/W2949587676","https://openalex.org/W4292345996","https://openalex.org/W2144153901","https://openalex.org/W3010022189","https://openalex.org/W4398186165","https://openalex.org/W4301894417","https://openalex.org/W2044887272","https://openalex.org/W246909719","https://openalex.org/W4290062159","https://openalex.org/W4238705038"],"abstract_inverted_index":{"This":[0],"work":[1,55],"focuses":[2],"on":[3],"shared":[4],"memory":[5],"systems":[6,21],"with":[7],"a":[8,23,32,41,58,72,75,81,97],"read-write":[9],"interface":[10],"(e.g.,":[11],"distributed":[12],"datastores":[13],"or":[14],"multiprocessors).":[15],"At":[16],"the":[17,65,92,103,108,114,134],"heart":[18],"of":[19,83,137],"such":[20],"resides":[22],"protocol":[24,33,73,117,130,141],"responsible":[25],"for":[26],"enforcing":[27],"their":[28],"consistency":[29,39,76,100,128,138],"guarantees.":[30,109],"Designing":[31],"that":[34,90,106,132],"correctly":[35],"and":[36,129],"efficiently":[37],"enforces":[38],"is":[40,48],"very":[42],"challenging":[43],"task.":[44,52],"Our":[45],"overarching":[46],"vision":[47,62],"to":[49,69,102,116],"automate":[50],"this":[51,54,61],"In":[53],"we":[56,79,111],"take":[57],"step":[59],"towards":[60],"by":[63],"establishing":[64],"theoretical":[66],"foundation":[67],"necessary":[68],"automatically":[70],"infer":[71],"from":[74,99],"specification.":[77],"Specifically,":[78],"propose":[80],"set":[82],"mathematical":[84],"abstractions,":[85],"called":[86],"real-time":[87],"orderings":[88],"(rt-orderings),":[89],"model":[91],"protocol.":[93],"We":[94],"then":[95],"create":[96],"mapping":[98],"guarantees":[101,139],"minimal":[104],"rt-orderings":[105,115,121],"enforce":[107],"Finally,":[110],"informally":[112],"relate":[113],"implementation":[118],"techniques.":[119],"Consequently,":[120],"serve":[122],"as":[123],"an":[124],"intermediate":[125],"abstraction":[126],"between":[127],"design,":[131],"enables":[133],"automatic":[135],"translation":[136],"into":[140],"implementations.":[142]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}