Tasks in modular proofs of concurrent algorithms (Q6044466)
From MaRDI portal
scientific article; zbMATH DE number 7687226
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Tasks in modular proofs of concurrent algorithms |
scientific article; zbMATH DE number 7687226 |
Statements
Tasks in modular proofs of concurrent algorithms (English)
0 references
19 May 2023
0 references
formal methods
0 references
verification
0 references
concurrent algorithms
0 references
renaming
0 references
splitter
0 references
linearizability
0 references
distributed tasks
0 references
\(\mathrm{TLA}^+\)
0 references
0 references
