Towards Mathematics of States and Observation
by
Bart Jacobs
Language: English
Release Date: October 27, 2016
The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combines ideas from the theory of dynamical systems and from the theory of state-based computation. Although still in its infancy, it is an active area of...