Networcat: applying analysis techniques of shared memory software on message-passing distributed systems Article Swipe
Levente Bajczi
,
Vince Molnár
·
YOU?
·
· 2025
· Open Access
·
· DOI: https://doi.org/10.1007/s10270-024-01258-x
YOU?
·
· 2025
· Open Access
·
· DOI: https://doi.org/10.1007/s10270-024-01258-x
Communication models are a key aspect in the design and implementation of distributed system architectures. Application logic must consider the guarantees of these models, which fundamentally influence its correctness. Modern multi-core processor architectures face a similar problem when it comes to accessing shared memory: the guarantees of an architecture have a fundamental impact on the observable behavior of software. The formalization of these guarantees in a declarative way has led to powerful tools and algorithms to define reusable constraints on patterns of memory access events and their relationships, enabling the efficient description and automatic formal analysis of software properties with respect to a specific architecture. The Cat memory modeling language provides a standard means of specifying these constraints. Despite the parallels, the axiomatic modeling and analysis of communication models in distributed systems remain a relatively unexplored area. In this paper, we address this gap and demonstrate how communication models can be mapped to the Cat language. We create a standard library of reusable patterns and demonstrate our approach, called NetworCat , on the simple examples of UDP and TCP, and we also present its applicability to the vastly configurable OMG-DDS service. This adaptation-based approach enables the use of ever-improving verification tools built for shared memory concurrency on distributed systems. We believe this not only benefits distributed system analyses by broadening the toolset for verification but also positively impacts the field of memory-model-aware verification by widening its audience to another domain.
Related Topics
Concepts
Metadata
- Type
- article
- Language
- en
- Landing Page
- https://doi.org/10.1007/s10270-024-01258-x
- OA Status
- hybrid
- References
- 29
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W4407257996
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W4407257996Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.1007/s10270-024-01258-xDigital Object Identifier
- Title
-
Networcat: applying analysis techniques of shared memory software on message-passing distributed systemsWork title
- Type
-
articleOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2025Year of publication
- Publication date
-
2025-02-07Full publication date if available
- Authors
-
Levente Bajczi, Vince MolnárList of authors in order
- Landing page
-
https://doi.org/10.1007/s10270-024-01258-xPublisher landing page
- Open access
-
YesWhether a free full text is available
- OA status
-
hybridOpen access status per OpenAlex
- OA URL
-
https://doi.org/10.1007/s10270-024-01258-xDirect OA link when available
- Concepts
-
Computer science, Distributed computing, Correctness, Shared memory, Concurrency, Atomicity, Programming language, Parallel computing, Database transactionTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
0Total citation count in OpenAlex
- References (count)
-
29Number of works referenced by this work
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W4407257996 |
|---|---|
| doi | https://doi.org/10.1007/s10270-024-01258-x |
| ids.doi | https://doi.org/10.1007/s10270-024-01258-x |
| ids.openalex | https://openalex.org/W4407257996 |
| fwci | 0.0 |
| type | article |
| title | Networcat: applying analysis techniques of shared memory software on message-passing distributed systems |
| awards[0].id | https://openalex.org/G8730038352 |
| awards[0].funder_id | https://openalex.org/F4320335908 |
| awards[0].display_name | |
| awards[0].funder_award_id | UNKP-24-3-BME-213 |
| awards[0].funder_display_name | Nemzeti Kutatási, Fejlesztési és Innovaciós Alap |
| awards[1].id | https://openalex.org/G3232523729 |
| awards[1].funder_id | https://openalex.org/F4320335908 |
| awards[1].display_name | |
| awards[1].funder_award_id | 2022-1.2.4-EUREKA-2023-00013 |
| awards[1].funder_display_name | Nemzeti Kutatási, Fejlesztési és Innovaciós Alap |
| biblio.issue | 5 |
| biblio.volume | 24 |
| biblio.last_page | 1514 |
| biblio.first_page | 1495 |
| topics[0].id | https://openalex.org/T10772 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.9998999834060669 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1705 |
| topics[0].subfield.display_name | Computer Networks and Communications |
| topics[0].display_name | Distributed systems and fault tolerance |
| topics[1].id | https://openalex.org/T10054 |
| topics[1].field.id | https://openalex.org/fields/17 |
| topics[1].field.display_name | Computer Science |
| topics[1].score | 0.9993000030517578 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1708 |
| topics[1].subfield.display_name | Hardware and Architecture |
| topics[1].display_name | Parallel Computing and Optimization Techniques |
| topics[2].id | https://openalex.org/T10142 |
| topics[2].field.id | https://openalex.org/fields/17 |
| topics[2].field.display_name | Computer Science |
| topics[2].score | 0.9993000030517578 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/1703 |
| topics[2].subfield.display_name | Computational Theory and Mathematics |
| topics[2].display_name | Formal Methods in Verification |
| funders[0].id | https://openalex.org/F4320335908 |
| funders[0].ror | |
| funders[0].display_name | Nemzeti Kutatási, Fejlesztési és Innovaciós Alap |
| is_xpac | False |
| apc_list.value | 2290 |
| apc_list.currency | EUR |
| apc_list.value_usd | 2890 |
| apc_paid.value | 2290 |
| apc_paid.currency | EUR |
| apc_paid.value_usd | 2890 |
| concepts[0].id | https://openalex.org/C41008148 |
| concepts[0].level | 0 |
| concepts[0].score | 0.8697324991226196 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[0].display_name | Computer science |
| concepts[1].id | https://openalex.org/C120314980 |
| concepts[1].level | 1 |
| concepts[1].score | 0.6246359348297119 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q180634 |
| concepts[1].display_name | Distributed computing |
| concepts[2].id | https://openalex.org/C55439883 |
| concepts[2].level | 2 |
| concepts[2].score | 0.5959945917129517 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q360812 |
| concepts[2].display_name | Correctness |
| concepts[3].id | https://openalex.org/C133875982 |
| concepts[3].level | 2 |
| concepts[3].score | 0.49828314781188965 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q764810 |
| concepts[3].display_name | Shared memory |
| concepts[4].id | https://openalex.org/C193702766 |
| concepts[4].level | 2 |
| concepts[4].score | 0.4690437912940979 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q1414548 |
| concepts[4].display_name | Concurrency |
| concepts[5].id | https://openalex.org/C188045909 |
| concepts[5].level | 3 |
| concepts[5].score | 0.44342225790023804 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q3306359 |
| concepts[5].display_name | Atomicity |
| concepts[6].id | https://openalex.org/C199360897 |
| concepts[6].level | 1 |
| concepts[6].score | 0.3223115801811218 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q9143 |
| concepts[6].display_name | Programming language |
| concepts[7].id | https://openalex.org/C173608175 |
| concepts[7].level | 1 |
| concepts[7].score | 0.17847338318824768 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q232661 |
| concepts[7].display_name | Parallel computing |
| concepts[8].id | https://openalex.org/C75949130 |
| concepts[8].level | 2 |
| concepts[8].score | 0.0 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q848010 |
| concepts[8].display_name | Database transaction |
| keywords[0].id | https://openalex.org/keywords/computer-science |
| keywords[0].score | 0.8697324991226196 |
| keywords[0].display_name | Computer science |
| keywords[1].id | https://openalex.org/keywords/distributed-computing |
| keywords[1].score | 0.6246359348297119 |
| keywords[1].display_name | Distributed computing |
| keywords[2].id | https://openalex.org/keywords/correctness |
| keywords[2].score | 0.5959945917129517 |
| keywords[2].display_name | Correctness |
| keywords[3].id | https://openalex.org/keywords/shared-memory |
| keywords[3].score | 0.49828314781188965 |
| keywords[3].display_name | Shared memory |
| keywords[4].id | https://openalex.org/keywords/concurrency |
| keywords[4].score | 0.4690437912940979 |
| keywords[4].display_name | Concurrency |
| keywords[5].id | https://openalex.org/keywords/atomicity |
| keywords[5].score | 0.44342225790023804 |
| keywords[5].display_name | Atomicity |
| keywords[6].id | https://openalex.org/keywords/programming-language |
| keywords[6].score | 0.3223115801811218 |
| keywords[6].display_name | Programming language |
| keywords[7].id | https://openalex.org/keywords/parallel-computing |
| keywords[7].score | 0.17847338318824768 |
| keywords[7].display_name | Parallel computing |
| language | en |
| locations[0].id | doi:10.1007/s10270-024-01258-x |
| locations[0].is_oa | True |
| locations[0].source.id | https://openalex.org/S64245694 |
| locations[0].source.issn | 1619-1366, 1619-1374 |
| locations[0].source.type | journal |
| locations[0].source.is_oa | False |
| locations[0].source.issn_l | 1619-1366 |
| locations[0].source.is_core | True |
| locations[0].source.is_in_doaj | False |
| locations[0].source.display_name | Software & Systems Modeling |
| locations[0].source.host_organization | https://openalex.org/P4310319900 |
| locations[0].source.host_organization_name | Springer Science+Business Media |
| locations[0].source.host_organization_lineage | https://openalex.org/P4310319900, https://openalex.org/P4310319965 |
| locations[0].source.host_organization_lineage_names | Springer Science+Business Media, Springer Nature |
| locations[0].license | cc-by |
| locations[0].pdf_url | |
| locations[0].version | publishedVersion |
| locations[0].raw_type | journal-article |
| locations[0].license_id | https://openalex.org/licenses/cc-by |
| locations[0].is_accepted | True |
| locations[0].is_published | True |
| locations[0].raw_source_name | Software and Systems Modeling |
| locations[0].landing_page_url | https://doi.org/10.1007/s10270-024-01258-x |
| indexed_in | crossref |
| authorships[0].author.id | https://openalex.org/A5045663730 |
| authorships[0].author.orcid | https://orcid.org/0000-0002-6551-5860 |
| authorships[0].author.display_name | Levente Bajczi |
| authorships[0].countries | HU |
| authorships[0].affiliations[0].institution_ids | https://openalex.org/I29770179 |
| authorships[0].affiliations[0].raw_affiliation_string | Department of Artificial Intelligence and Systems Engineering, Budapest University of Technology and Economics, 2, Magyar tudósok körútja, Budapest, 1117, Hungary |
| authorships[0].institutions[0].id | https://openalex.org/I29770179 |
| authorships[0].institutions[0].ror | https://ror.org/02w42ss30 |
| authorships[0].institutions[0].type | education |
| authorships[0].institutions[0].lineage | https://openalex.org/I29770179 |
| authorships[0].institutions[0].country_code | HU |
| authorships[0].institutions[0].display_name | Budapest University of Technology and Economics |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Levente Bajczi |
| authorships[0].is_corresponding | False |
| authorships[0].raw_affiliation_strings | Department of Artificial Intelligence and Systems Engineering, Budapest University of Technology and Economics, 2, Magyar tudósok körútja, Budapest, 1117, Hungary |
| authorships[1].author.id | https://openalex.org/A5062314301 |
| authorships[1].author.orcid | https://orcid.org/0000-0002-8204-7595 |
| authorships[1].author.display_name | Vince Molnár |
| authorships[1].countries | HU |
| authorships[1].affiliations[0].institution_ids | https://openalex.org/I29770179 |
| authorships[1].affiliations[0].raw_affiliation_string | Department of Artificial Intelligence and Systems Engineering, Budapest University of Technology and Economics, 2, Magyar tudósok körútja, Budapest, 1117, Hungary |
| authorships[1].institutions[0].id | https://openalex.org/I29770179 |
| authorships[1].institutions[0].ror | https://ror.org/02w42ss30 |
| authorships[1].institutions[0].type | education |
| authorships[1].institutions[0].lineage | https://openalex.org/I29770179 |
| authorships[1].institutions[0].country_code | HU |
| authorships[1].institutions[0].display_name | Budapest University of Technology and Economics |
| authorships[1].author_position | last |
| authorships[1].raw_author_name | Vince Molnár |
| authorships[1].is_corresponding | False |
| authorships[1].raw_affiliation_strings | Department of Artificial Intelligence and Systems Engineering, Budapest University of Technology and Economics, 2, Magyar tudósok körútja, Budapest, 1117, Hungary |
| has_content.pdf | False |
| has_content.grobid_xml | False |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://doi.org/10.1007/s10270-024-01258-x |
| open_access.oa_status | hybrid |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | Networcat: applying analysis techniques of shared memory software on message-passing distributed systems |
| has_fulltext | False |
| is_retracted | False |
| updated_date | 2025-11-06T03:46:38.306776 |
| primary_topic.id | https://openalex.org/T10772 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.9998999834060669 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1705 |
| primary_topic.subfield.display_name | Computer Networks and Communications |
| primary_topic.display_name | Distributed systems and fault tolerance |
| related_works | https://openalex.org/W321339674, https://openalex.org/W2019062800, https://openalex.org/W2899146177, https://openalex.org/W2167421399, https://openalex.org/W2616010075, https://openalex.org/W1507160831, https://openalex.org/W2186490196, https://openalex.org/W2059943739, https://openalex.org/W4243156926, https://openalex.org/W2162969183 |
| cited_by_count | 0 |
| locations_count | 1 |
| best_oa_location.id | doi:10.1007/s10270-024-01258-x |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S64245694 |
| best_oa_location.source.issn | 1619-1366, 1619-1374 |
| best_oa_location.source.type | journal |
| best_oa_location.source.is_oa | False |
| best_oa_location.source.issn_l | 1619-1366 |
| best_oa_location.source.is_core | True |
| best_oa_location.source.is_in_doaj | False |
| best_oa_location.source.display_name | Software & Systems Modeling |
| best_oa_location.source.host_organization | https://openalex.org/P4310319900 |
| best_oa_location.source.host_organization_name | Springer Science+Business Media |
| best_oa_location.source.host_organization_lineage | https://openalex.org/P4310319900, https://openalex.org/P4310319965 |
| best_oa_location.source.host_organization_lineage_names | Springer Science+Business Media, Springer Nature |
| best_oa_location.license | cc-by |
| best_oa_location.pdf_url | |
| best_oa_location.version | publishedVersion |
| best_oa_location.raw_type | journal-article |
| best_oa_location.license_id | https://openalex.org/licenses/cc-by |
| best_oa_location.is_accepted | True |
| best_oa_location.is_published | True |
| best_oa_location.raw_source_name | Software and Systems Modeling |
| best_oa_location.landing_page_url | https://doi.org/10.1007/s10270-024-01258-x |
| primary_location.id | doi:10.1007/s10270-024-01258-x |
| primary_location.is_oa | True |
| primary_location.source.id | https://openalex.org/S64245694 |
| primary_location.source.issn | 1619-1366, 1619-1374 |
| primary_location.source.type | journal |
| primary_location.source.is_oa | False |
| primary_location.source.issn_l | 1619-1366 |
| primary_location.source.is_core | True |
| primary_location.source.is_in_doaj | False |
| primary_location.source.display_name | Software & Systems Modeling |
| primary_location.source.host_organization | https://openalex.org/P4310319900 |
| primary_location.source.host_organization_name | Springer Science+Business Media |
| primary_location.source.host_organization_lineage | https://openalex.org/P4310319900, https://openalex.org/P4310319965 |
| primary_location.source.host_organization_lineage_names | Springer Science+Business Media, Springer Nature |
| primary_location.license | cc-by |
| primary_location.pdf_url | |
| primary_location.version | publishedVersion |
| primary_location.raw_type | journal-article |
| primary_location.license_id | https://openalex.org/licenses/cc-by |
| primary_location.is_accepted | True |
| primary_location.is_published | True |
| primary_location.raw_source_name | Software and Systems Modeling |
| primary_location.landing_page_url | https://doi.org/10.1007/s10270-024-01258-x |
| publication_date | 2025-02-07 |
| publication_year | 2025 |
| referenced_works | https://openalex.org/W1840610064, https://openalex.org/W189341565, https://openalex.org/W4296313421, https://openalex.org/W2123506780, https://openalex.org/W4211008702, https://openalex.org/W2128932399, https://openalex.org/W1749713674, https://openalex.org/W4387092552, https://openalex.org/W2091776255, https://openalex.org/W2274611295, https://openalex.org/W2167814583, https://openalex.org/W2776248742, https://openalex.org/W2979761551, https://openalex.org/W2738891045, https://openalex.org/W2625764229, https://openalex.org/W2507977852, https://openalex.org/W2953899265, https://openalex.org/W2910332906, https://openalex.org/W2065180040, https://openalex.org/W6931722066, https://openalex.org/W2778029444, https://openalex.org/W2626631502, https://openalex.org/W2956182160, https://openalex.org/W121297392, https://openalex.org/W4236546623, https://openalex.org/W4292202268, https://openalex.org/W4393942804, https://openalex.org/W4366451581, https://openalex.org/W3106753174 |
| referenced_works_count | 29 |
| abstract_inverted_index., | 171 |
| abstract_inverted_index.a | 4, 35, 51, 66, 103, 112, 134, 159 |
| abstract_inverted_index.In | 138 |
| abstract_inverted_index.We | 157, 210 |
| abstract_inverted_index.an | 48 |
| abstract_inverted_index.be | 151 |
| abstract_inverted_index.by | 219, 234 |
| abstract_inverted_index.in | 7, 65, 130 |
| abstract_inverted_index.it | 39 |
| abstract_inverted_index.of | 12, 22, 47, 58, 62, 82, 97, 115, 127, 162, 176, 198, 231 |
| abstract_inverted_index.on | 54, 80, 172, 207 |
| abstract_inverted_index.to | 41, 71, 76, 102, 153, 186, 238 |
| abstract_inverted_index.we | 141, 181 |
| abstract_inverted_index.Cat | 107, 155 |
| abstract_inverted_index.The | 60, 106 |
| abstract_inverted_index.UDP | 177 |
| abstract_inverted_index.and | 10, 74, 86, 93, 125, 145, 165, 178, 180 |
| abstract_inverted_index.are | 3 |
| abstract_inverted_index.but | 225 |
| abstract_inverted_index.can | 150 |
| abstract_inverted_index.for | 203, 223 |
| abstract_inverted_index.gap | 144 |
| abstract_inverted_index.has | 69 |
| abstract_inverted_index.how | 147 |
| abstract_inverted_index.its | 28, 184, 236 |
| abstract_inverted_index.key | 5 |
| abstract_inverted_index.led | 70 |
| abstract_inverted_index.not | 213 |
| abstract_inverted_index.our | 167 |
| abstract_inverted_index.the | 8, 20, 45, 55, 90, 120, 122, 154, 173, 187, 196, 221, 229 |
| abstract_inverted_index.use | 197 |
| abstract_inverted_index.way | 68 |
| abstract_inverted_index.TCP, | 179 |
| abstract_inverted_index.This | 192 |
| abstract_inverted_index.also | 182, 226 |
| abstract_inverted_index.face | 34 |
| abstract_inverted_index.have | 50 |
| abstract_inverted_index.must | 18 |
| abstract_inverted_index.only | 214 |
| abstract_inverted_index.this | 139, 143, 212 |
| abstract_inverted_index.when | 38 |
| abstract_inverted_index.with | 100 |
| abstract_inverted_index.area. | 137 |
| abstract_inverted_index.built | 202 |
| abstract_inverted_index.comes | 40 |
| abstract_inverted_index.field | 230 |
| abstract_inverted_index.logic | 17 |
| abstract_inverted_index.means | 114 |
| abstract_inverted_index.their | 87 |
| abstract_inverted_index.these | 23, 63, 117 |
| abstract_inverted_index.tools | 73, 201 |
| abstract_inverted_index.which | 25 |
| abstract_inverted_index.Modern | 30 |
| abstract_inverted_index.access | 84 |
| abstract_inverted_index.aspect | 6 |
| abstract_inverted_index.called | 169 |
| abstract_inverted_index.create | 158 |
| abstract_inverted_index.define | 77 |
| abstract_inverted_index.design | 9 |
| abstract_inverted_index.events | 85 |
| abstract_inverted_index.formal | 95 |
| abstract_inverted_index.impact | 53 |
| abstract_inverted_index.mapped | 152 |
| abstract_inverted_index.memory | 83, 108, 205 |
| abstract_inverted_index.models | 2, 129, 149 |
| abstract_inverted_index.paper, | 140 |
| abstract_inverted_index.remain | 133 |
| abstract_inverted_index.shared | 43, 204 |
| abstract_inverted_index.simple | 174 |
| abstract_inverted_index.system | 14, 217 |
| abstract_inverted_index.vastly | 188 |
| abstract_inverted_index.Despite | 119 |
| abstract_inverted_index.OMG-DDS | 190 |
| abstract_inverted_index.address | 142 |
| abstract_inverted_index.another | 239 |
| abstract_inverted_index.believe | 211 |
| abstract_inverted_index.domain. | 240 |
| abstract_inverted_index.enables | 195 |
| abstract_inverted_index.impacts | 228 |
| abstract_inverted_index.library | 161 |
| abstract_inverted_index.memory: | 44 |
| abstract_inverted_index.models, | 24 |
| abstract_inverted_index.present | 183 |
| abstract_inverted_index.problem | 37 |
| abstract_inverted_index.respect | 101 |
| abstract_inverted_index.similar | 36 |
| abstract_inverted_index.systems | 132 |
| abstract_inverted_index.toolset | 222 |
| abstract_inverted_index.Abstract | 0 |
| abstract_inverted_index.analyses | 218 |
| abstract_inverted_index.analysis | 96, 126 |
| abstract_inverted_index.approach | 194 |
| abstract_inverted_index.audience | 237 |
| abstract_inverted_index.behavior | 57 |
| abstract_inverted_index.benefits | 215 |
| abstract_inverted_index.consider | 19 |
| abstract_inverted_index.enabling | 89 |
| abstract_inverted_index.examples | 175 |
| abstract_inverted_index.language | 110 |
| abstract_inverted_index.modeling | 109, 124 |
| abstract_inverted_index.patterns | 81, 164 |
| abstract_inverted_index.powerful | 72 |
| abstract_inverted_index.provides | 111 |
| abstract_inverted_index.reusable | 78, 163 |
| abstract_inverted_index.service. | 191 |
| abstract_inverted_index.software | 98 |
| abstract_inverted_index.specific | 104 |
| abstract_inverted_index.standard | 113, 160 |
| abstract_inverted_index.systems. | 209 |
| abstract_inverted_index.widening | 235 |
| abstract_inverted_index.NetworCat | 170 |
| abstract_inverted_index.accessing | 42 |
| abstract_inverted_index.approach, | 168 |
| abstract_inverted_index.automatic | 94 |
| abstract_inverted_index.axiomatic | 123 |
| abstract_inverted_index.efficient | 91 |
| abstract_inverted_index.influence | 27 |
| abstract_inverted_index.language. | 156 |
| abstract_inverted_index.processor | 32 |
| abstract_inverted_index.software. | 59 |
| abstract_inverted_index.algorithms | 75 |
| abstract_inverted_index.broadening | 220 |
| abstract_inverted_index.guarantees | 21, 46, 64 |
| abstract_inverted_index.multi-core | 31 |
| abstract_inverted_index.observable | 56 |
| abstract_inverted_index.parallels, | 121 |
| abstract_inverted_index.positively | 227 |
| abstract_inverted_index.properties | 99 |
| abstract_inverted_index.relatively | 135 |
| abstract_inverted_index.specifying | 116 |
| abstract_inverted_index.unexplored | 136 |
| abstract_inverted_index.Application | 16 |
| abstract_inverted_index.concurrency | 206 |
| abstract_inverted_index.constraints | 79 |
| abstract_inverted_index.declarative | 67 |
| abstract_inverted_index.demonstrate | 146, 166 |
| abstract_inverted_index.description | 92 |
| abstract_inverted_index.distributed | 13, 131, 208, 216 |
| abstract_inverted_index.fundamental | 52 |
| abstract_inverted_index.architecture | 49 |
| abstract_inverted_index.configurable | 189 |
| abstract_inverted_index.constraints. | 118 |
| abstract_inverted_index.correctness. | 29 |
| abstract_inverted_index.verification | 200, 224, 233 |
| abstract_inverted_index.Communication | 1 |
| abstract_inverted_index.applicability | 185 |
| abstract_inverted_index.architecture. | 105 |
| abstract_inverted_index.architectures | 33 |
| abstract_inverted_index.communication | 128, 148 |
| abstract_inverted_index.formalization | 61 |
| abstract_inverted_index.fundamentally | 26 |
| abstract_inverted_index.architectures. | 15 |
| abstract_inverted_index.ever-improving | 199 |
| abstract_inverted_index.implementation | 11 |
| abstract_inverted_index.relationships, | 88 |
| abstract_inverted_index.adaptation-based | 193 |
| abstract_inverted_index.memory-model-aware | 232 |
| cited_by_percentile_year | |
| countries_distinct_count | 1 |
| institutions_distinct_count | 2 |
| citation_normalized_percentile.value | 0.03406229 |
| citation_normalized_percentile.is_in_top_1_percent | False |
| citation_normalized_percentile.is_in_top_10_percent | True |