Transition Systems over Continuous Time-Space
Izumi Takeuti · Electronic Notes in Theoretical Computer Science · 2005
This paper gives a transition system over continuous time-space, which is a system of functions of continuous time-space into descrete states. This system is situated between the cellular automata and the partial differential equations. This paper shows the reasonable sufficient condition of the uniquness of the solution.