An Asynchronous Soundness Theorem for Concurrent Separation Logic (Q5145346)
From MaRDI portal
scientific article; zbMATH DE number 7298795
Language | Label | Description | Also known as |
---|---|---|---|
English | An Asynchronous Soundness Theorem for Concurrent Separation Logic |
scientific article; zbMATH DE number 7298795 |
Statements
An Asynchronous Soundness Theorem for Concurrent Separation Logic (English)
0 references
20 January 2021
0 references
asynchronous game semantics
0 references
asynchronous machine models
0 references
concurrent separation logic
0 references
data races
0 references
separated states
0 references
stateful-to-stateless translation
0 references