Complexity analysis of propositional concurrent programs using domino tiling (Q3142002)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complexity analysis of propositional concurrent programs using domino tiling |
scientific article |
Statements
Complexity analysis of propositional concurrent programs using domino tiling (English)
0 references
6 December 1993
0 references
concurrency
0 references
rendevouz
0 references
CSP
0 references
tiling problems
0 references
complexity classes
0 references
