\(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes (Q856423)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes |
scientific article; zbMATH DE number 5078612
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes |
scientific article; zbMATH DE number 5078612 |
Statements
\(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes (English)
0 references
7 December 2006
0 references
state explosion
0 references
deadlock
0 references
heuristic search
0 references
CCS
0 references
model checking
0 references
0 references
