An Alternative Order for the Failures Model (Q5285988)
From MaRDI portal
scientific article; zbMATH DE number 223347
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Alternative Order for the Failures Model |
scientific article; zbMATH DE number 223347 |
Statements
An Alternative Order for the Failures Model (English)
0 references
29 June 1993
0 references
partial orders
0 references
topology
0 references
failures-divergences
0 references
CSP
0 references
recursion induction
0 references
