Revisiting concurrent separation logic (Q2397039)
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: Revisiting concurrent separation logic |
scientific article; zbMATH DE number 6723603
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Revisiting concurrent separation logic |
scientific article; zbMATH DE number 6723603 |
Statements
Revisiting concurrent separation logic (English)
0 references
29 May 2017
0 references
concurrent separation logic
0 references
structural operational semantics
0 references
soundness proof
0 references
0.9086982011795044
0 references
0.857358992099762
0 references
0.8204597234725952
0 references
0.81722092628479
0 references
0.8154990673065186
0 references
