Discovering and correcting a deadlock in a channel implementation (Q2322306)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Discovering and correcting a deadlock in a channel implementation |
scientific article |
Statements
Discovering and correcting a deadlock in a channel implementation (English)
0 references
4 September 2019
0 references
message-passing concurrency
0 references
channel implementation
0 references
model checking
0 references
CSP
0 references
