Gérard Berry

Algorithmes, machines et langages

Le temps élargi : horloges multiples, temps discrets et temps continu

Troisième leçon : Coopération entre modèles de temps et de communication