Approximately satisfied properties of systems and simple language homomorphisms (Q673348)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Approximately satisfied properties of systems and simple language homomorphisms |
scientific article |
Statements
Approximately satisfied properties of systems and simple language homomorphisms (English)
0 references
28 February 1997
0 references
Verification
0 references
Approximate satisfaction
0 references
Safety
0 references
Liveness
0 references
Abstraction
0 references
Simple homomorphisms
0 references
Formal languages
0 references
\(\omega\)-languages
0 references
Cantor topology
0 references