Reasoning about Recursive Processes in Shared-Variable Concurrency (Q5187824)
From MaRDI portal
scientific article; zbMATH DE number 5679033
Language | Label | Description | Also known as |
---|---|---|---|
English | Reasoning about Recursive Processes in Shared-Variable Concurrency |
scientific article; zbMATH DE number 5679033 |
Statements
Reasoning about Recursive Processes in Shared-Variable Concurrency (English)
0 references
9 March 2010
0 references
0 references