Přispěvatelé: |
Centre de Mathématiques Appliquées (CMA), Mines Paris - PSL (École nationale supérieure des mines de Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL), Concurrency, Synchronization and Real-time Programming (MEIJE), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), INRIA, MINES ParisTech - École nationale supérieure des mines de Paris |