LTS
Processo CCS (TODO: da completare, lo chiede all’orale)
Isomorfismo
Equivalenza rispetto alle tracce
Bisimulazione forte
Bisimulazione debole
Semantica a interleaving
Rete elementare
Caso
Regola di scatto
Principio di estensionalitÃ
Rete el. semplice
Rete el. pura
Insieme di eventi indipendenti
Passo abilitato
Passo di configurazione
Sistema elementare