Using heuristic search for finding deadlocks in concurrent systems (Q2573636)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Using heuristic search for finding deadlocks in concurrent systems |
scientific article |
Statements
Using heuristic search for finding deadlocks in concurrent systems (English)
0 references
22 November 2005
0 references
State explosion
0 references
Deadlock
0 references
Heuristic search
0 references
CCS
0 references
0 references
0 references
0 references