Timed CSP: a retrospective (Electronic Notes in Theoretical Computer Science, 2006)

(untitled) - Ouaknine, J; Schneider, S