Formalization of Timethreads Using LOTOS

Slides referencing similar topics