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