A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation (Q3178292)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation |
scientific article |
Statements
A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation (English)
0 references
8 July 2016
0 references
enriched logical connection
0 references
preordered set
0 references
coalgebra
0 references
bisimulation
0 references
simulation
0 references
