Coalgebraic Weak Bisimulation from Recursive Equations over Monads.

Sergey Goncharov Dirk Pattinson

Published in: ICALP (2) (2014)

Keyphrases

linear equations
linear systems
databases
real time
data mining
e learning
web services
multiscale
expert systems
special case
differential equations
recursive functions
iterative refinement