# What is a good reference to learn about state transition systems?

I am studying different approaches for the definition of computation with continuous dynamical systems. I have been trying to find a nice introduction to the theory of "State transition systems" but failed to do so.

Does anybody know a modern introduction to the topic? Of particular interest would be something dealing with computability.

One very nice, delightful even, book that uses labelled transition systems to give semantics to concurrent formalisms CCS and the $\pi$-calculus is Communicating and Mobile Systems: the Pi-Calculus by Robin Milner. Definitely worth reading.