Permission accounting in separation logic (Q5276151)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6745860
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Permission accounting in separation logic |
scientific article; zbMATH DE number 6745860 |
Statements
Permission accounting in separation logic (English)
0 references
14 July 2017
0 references
concurrency
0 references
logic
0 references
permissions
0 references
separation
0 references
0.8107686042785645
0 references
0.8082641363143921
0 references
0.8068545460700989
0 references
0.7995963096618652
0 references
0.7991700172424316
0 references
