Categorical foundations for randomly timed automata (Q1884891)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Categorical foundations for randomly timed automata |
scientific article |
Statements
Categorical foundations for randomly timed automata (English)
0 references
27 October 2004
0 references
Probabilistic automaton
0 references
Timed automaton
0 references
Aggregation
0 references
Interconnection
0 references
Realization
0 references
0 references
0 references
