Capturing Conflict and Confusion in CSP (Q3608892)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Capturing Conflict and Confusion in CSP |
scientific article |
Statements
Capturing Conflict and Confusion in CSP (English)
0 references
6 March 2009
0 references
true concurrency
0 references
interleaving concurrency
0 references
Petri nets
0 references
CSP
0 references
conflict
0 references
confusion
0 references
automatic verification
0 references
