Separation Logic Semantics for Communicating Processes (Q5415605)
From MaRDI portal
scientific article; zbMATH DE number 6294807
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Separation Logic Semantics for Communicating Processes |
scientific article; zbMATH DE number 6294807 |
Statements
Separation Logic Semantics for Communicating Processes (English)
0 references
13 May 2014
0 references
semantics of programming languages
0 references
concurrency
0 references
separation logic
0 references
communicating sequential processes
0 references
