Discrete-time and continuous-time modelling : some bridges and gaps

Krivine, H., Lesne, A., Treiner, J.

Mathematical Structures in Computer Science 17 (2007) 261-276