Reflection and Preservation of Properties in Coalgebraic (bi)Simulations.

Ignacio Fábregas Miguel Palomino David de Frutos-Escrig

Published in: CoRR (2024)

Keyphrases

desirable properties
business intelligence
real time
real world
computer vision
structural properties
simulation models