Coinduction in concurrent timed systems (Q2919457)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Coinduction in concurrent timed systems |
scientific article; zbMATH DE number 6089947
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Coinduction in concurrent timed systems |
scientific article; zbMATH DE number 6089947 |
Statements
2 October 2012
0 references
deterministic weighted automata
0 references
Mealy automata
0 references
final coalgebra
0 references
synchronous product
0 references
coinduction
0 references
0 references
0 references
0 references
0.9016248
0 references
0 references
0.8915551
0 references
Coinduction in concurrent timed systems (English)
0 references
