Aree – Theory of computation

  1. Home
  2. Ricerca
  3. Aree di ricerca
  4. Theory of computation

Theory of computation   aderente allo standard  ACM 2012

Models of computation
Modelli formali della computazione - Modelli per sistemi concorrenti, distribuiti e mobili - Modelli per sistemi ibridi - Modelli stocastici concorrenti
Semantics and reasoning
Semantica di programmi - Semantica di sistemi concorrenti, distribuiti e mobili

Attività

Aree di ricerca

Gruppi di ricerca

Dottorati di Ricerca

Strutture

Condividi