Export Citations
1 Results for: Keyword: Compositional Linearizability
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,798,458 records)|Limit your search to The ACM Full-Text Collection (768,674 records)
Showing 1 - 1of1 Results
Select All
- research-articleOctober 2024
Compositionality and Observational Refinement for Linearizability with Crashes
Proceedings of the ACM on Programming Languages (PACMPL), Volume 8, Issue OOPSLA2Article No.: 352, Pages 2296–2324https://doi.org/10.1145/3689792Crash-safety is an important property of real systems, as the main functionality of some systems is resilience to crashes. Toward a compositional verification approach for crash-safety under full-system crashes, one observes that crashes propagate ...
