On path-based coalgebras and weak notions of bisimulation.

Harsh Beohar Sebastian Küpper

Published in: CoRR (2017)

Keyphrases

information systems
multiresolution
real time
e learning
decision trees
three dimensional
optimal solution
formal definitions