Section: New Results

A new collaboration with Bernard Serpette

A new collaboration with Bernard Serpette also aim at developing a formal models for the T-calculus semantics [27], [25]. Though at its birth, such an approach eventually reveals rather deep connection with Matsikoudis and Lee works on causal functions semantics  [33], openning new perspectives towards higher-order timed programing.