Context-Bounded Analysis of Concurrent Queue Systems (Q5458334)
From MaRDI portal
scientific article; zbMATH DE number 5262376
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Context-Bounded Analysis of Concurrent Queue Systems |
scientific article; zbMATH DE number 5262376 |
Statements
Context-Bounded Analysis of Concurrent Queue Systems (English)
0 references
11 April 2008
0 references
