A uniform framework for timed automata (Q4608678)
From MaRDI portal
scientific article; zbMATH DE number 6851948
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A uniform framework for timed automata |
scientific article; zbMATH DE number 6851948 |
Statements
21 March 2018
0 references
coalgebras
0 references
lax functors
0 references
general saturation
0 references
timed behavioural equivalence
0 references
timed language equivalence
0 references
A uniform framework for timed automata (English)
0 references
