Relative liveness and behavior abstraction (extended abstract) (Q5361465)
From MaRDI portal
scientific article; zbMATH DE number 6783670
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relative liveness and behavior abstraction (extended abstract) |
scientific article; zbMATH DE number 6783670 |
Statements
Relative liveness and behavior abstraction (extended abstract) (English)
0 references
29 September 2017
0 references
behavior abstraction
0 references
relative liveness properties
0 references
simple homomorphisms
0 references
verification
0 references
