Publication Information

{'id': 'https://openalex.org/W2914992480', 'doi': 'https://doi.org/10.1007/978-3-540-77395-5_16', 'title': 'Rollback Atomicity', 'display_name': 'Rollback Atomicity', 'publication_year': 2007, 'publication_date': '2007-12-06', 'ids': {'openalex': 'https://openalex.org/W2914992480', 'doi': 'https://doi.org/10.1007/978-3-540-77395-5_16', 'mag': '2914992480'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1007/978-3-540-77395-5_16', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306420808', 'display_name': 'Runtime Verification', 'issn_l': None, 'issn': None, 'is_oa': False, 'is_in_doaj': False, 'is_core': False, 'host_organization': None, 'host_organization_name': None, 'host_organization_lineage': [], 'host_organization_lineage_names': [], 'type': 'conference'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'book-chapter', 'type_crossref': 'book-chapter', 'indexed_in': ['crossref'], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5091601759', 'display_name': 'Serdar Taşiran', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I1351752', 'display_name': 'Koç University', 'ror': 'https://ror.org/00jzwgz36', 'country_code': 'TR', 'type': 'education', 'lineage': ['https://openalex.org/I1351752']}], 'countries': ['TR'], 'is_corresponding': False, 'raw_author_name': 'Serdar Tasiran', 'raw_affiliation_strings': ['Koc University, Istanbul, Turkey'], 'affiliations': [{'raw_affiliation_string': 'Koc University, Istanbul, Turkey', 'institution_ids': ['https://openalex.org/I1351752']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5009826583', 'display_name': 'Tayfun Elmas', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I1351752', 'display_name': 'Koç University', 'ror': 'https://ror.org/00jzwgz36', 'country_code': 'TR', 'type': 'education', 'lineage': ['https://openalex.org/I1351752']}], 'countries': ['TR'], 'is_corresponding': False, 'raw_author_name': 'Tayfun Elmas', 'raw_affiliation_strings': ['Koc University, Istanbul, Turkey'], 'affiliations': [{'raw_affiliation_string': 'Koc University, Istanbul, Turkey', 'institution_ids': ['https://openalex.org/I1351752']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 0.0, 'has_fulltext': False, 'cited_by_count': 1, 'citation_normalized_percentile': {'value': 0.419551, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 63, 'max': 70}, 'biblio': {'volume': None, 'issue': None, 'first_page': '188', 'last_page': '201'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10772', 'display_name': 'Distributed systems and fault tolerance', 'score': 0.9999, '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.9999, '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/T10142', 'display_name': 'Formal Methods in Verification', 'score': 0.9985, 'subfield': {'id': 'https://openalex.org/subfields/1703', 'display_name': 'Computational Theory and Mathematics'}, '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/T11424', 'display_name': 'Security and Verification in Computing', 'score': 0.9981, 'subfield': {'id': 'https://openalex.org/subfields/1702', 'display_name': 'Artificial Intelligence'}, '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/atomicity', 'display_name': 'Atomicity', 'score': 0.99777895}, {'id': 'https://openalex.org/keywords/rollback', 'display_name': 'Rollback', 'score': 0.9221469}], 'concepts': [{'id': 'https://openalex.org/C188045909', 'wikidata': 'https://www.wikidata.org/wiki/Q3306359', 'display_name': 'Atomicity', 'level': 3, 'score': 0.99777895}, {'id': 'https://openalex.org/C174220543', 'wikidata': 'https://www.wikidata.org/wiki/Q395307', 'display_name': 'Rollback', 'level': 3, 'score': 0.9221469}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.81052816}, {'id': 'https://openalex.org/C173608175', 'wikidata': 'https://www.wikidata.org/wiki/Q232661', 'display_name': 'Parallel computing', 'level': 1, 'score': 0.44636038}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.40733755}, {'id': 'https://openalex.org/C120314980', 'wikidata': 'https://www.wikidata.org/wiki/Q180634', 'display_name': 'Distributed computing', 'level': 1, 'score': 0.3760463}, {'id': 'https://openalex.org/C75949130', 'wikidata': 'https://www.wikidata.org/wiki/Q848010', 'display_name': 'Database transaction', 'level': 2, 'score': 0.21222949}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1007/978-3-540-77395-5_16', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306420808', 'display_name': 'Runtime Verification', 'issn_l': None, 'issn': None, 'is_oa': False, 'is_in_doaj': False, 'is_core': False, 'host_organization': None, 'host_organization_name': None, 'host_organization_lineage': [], 'host_organization_lineage_names': [], 'type': 'conference'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 13, 'referenced_works': ['https://openalex.org/W1546106366', 'https://openalex.org/W2023304911', 'https://openalex.org/W2044735058', 'https://openalex.org/W2082766667', 'https://openalex.org/W2091085450', 'https://openalex.org/W2101939036', 'https://openalex.org/W2112579501', 'https://openalex.org/W2141607910', 'https://openalex.org/W2171076136', 'https://openalex.org/W2171480813', 'https://openalex.org/W2911806870', 'https://openalex.org/W4211041421', 'https://openalex.org/W4246466186'], 'related_works': ['https://openalex.org/W2980363288', 'https://openalex.org/W2914992480', 'https://openalex.org/W2357517130', 'https://openalex.org/W2115269980', 'https://openalex.org/W2001866549', 'https://openalex.org/W1990697576', 'https://openalex.org/W1600422503', 'https://openalex.org/W1591836442', 'https://openalex.org/W1582361381', 'https://openalex.org/W1520405624'], 'abstract_inverted_index': {'We': [0, 113, 128], 'introduce': [1], 'a': [2, 20, 28, 49, 59, 65, 68, 84, 130], 'new': [3], 'non-interference': [4, 101, 126], 'criterion': [5], 'for': [6, 71, 96, 110, 133], 'concurrent': [7, 22, 66, 150], 'programs:': [8], 'rollback': [9, 17, 111, 134, 157], 'atomicity.': [10, 112], 'Similarly': [11], 'to': [12, 147], 'other': [13, 36, 121], 'definitions': [14, 37], 'of': [15, 19, 38, 52, 64, 86, 123, 152], 'atomicity,': [16], 'atomicity': [18, 33, 39, 124, 135], 'given': [21], 'execution': [23, 70], 'requires': [24, 58], 'that': [25, 149], 'there': [26], 'be': [27], 'matching': [29], 'serial': [30, 69], 'execution.': [31], 'Rollback': [32], 'differs': [34], 'from': [35], 'in': [40], 'two': [41], 'key': [42], 'regards.': [43], 'First,': [44], 'it': [45, 57, 82, 116, 119], 'is': [46], 'formulated': [47], 'as': [48, 89], 'special': [50], 'case': [51], 'view': [53], 'refinement.': [54], 'As': [55], 'such,': [56], 'correspondence': [60], 'between': [61], 'the': [62, 108, 138], 'states': [63], 'and': [67, 91, 117, 125], 'each': [72], 'atomic': [73], 'block': [74], 'rather': [75], 'than': [76, 99], 'only': [77], 'at': [78], 'quiescent': [79], 'states.': [80], 'Second,': [81], 'designates': [83], 'subset': [85], 'shared': [87], 'variables': [88, 98], 'peripheral': [90, 97], 'has': [92], 'more': [93], 'relaxed': [94], 'requirements': [95], 'previous': [100], 'criteria.': [102, 127], 'In': [103], 'this': [104], 'paper,': [105], 'we': [106], 'provide': [107], 'motivation': [109], 'formally': [114], 'define': [115], 'compare': [118], 'with': [120], 'notions': [122], 'built': [129], 'runtime': [131], 'checker': [132], 'integrated': [136], 'into': [137], 'refinement': [139], 'checking': [140], 'tool,': [141], 'VYRD.': [142], 'This': [143], 'implementation': [144], 'was': [145], 'able': [146], 'verify': [148], 'executions': [151], 'our': [153], 'motivating': [154], 'example': [155], 'are': [156], 'atomic.': [158]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2914992480', 'counts_by_year': [], 'updated_date': '2024-12-10T19:00:07.768993', 'created_date': '2019-02-21'}