On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency (Q2827447)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency |
scientific article |
Statements
On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency (English)
0 references
19 October 2016
0 references
