Daniele Gorla

Pubblicazioni

Le pubblicazioni dell'autore sono raggiungibili sul catalogo IRIS tramite il seguente link

ERC

  • PE6
  • PE6_3
  • PE6_4

KET

  • Big data & computing

Keywords

concurrency
Temporal logics
Semantics of True Concurrency

Progetti di Ricerca

Gruppi di ricerca

Theoretical Computer Science (Algorithms, Combinatorics, Formal Methods, Graph Theory, Logics, ...) and its applications

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma