Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750)
From MaRDI portal
scientific article; zbMATH DE number 7667094
Language | Label | Description | Also known as |
---|---|---|---|
English | Coalgebras for Bisimulation of Weighted Automata over Semirings |
scientific article; zbMATH DE number 7667094 |
Statements
Coalgebras for Bisimulation of Weighted Automata over Semirings (English)
0 references
22 March 2023
0 references
coalgebra
0 references
bisimulation
0 references
weighted automata
0 references
semirings
0 references
semimodules
0 references
0 references