An asynchronous soundness theorem for concurrent separation logic (Q5145346)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An asynchronous soundness theorem for concurrent separation logic |
scientific article; zbMATH DE number 7298795
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.857358992099762
0 references
0.8456118106842041
0 references
0.8057845234870911
0 references
0.789845883846283
0 references
0.7891519069671631
0 references
