concetti di base per processi reattivi e concorrenti [M89,NOTE]:
- sistemi di transizione etichettati (LTS)
- CCS: sintassi, semantica operazionale, LTS dei processi
- CCS ed LTS: esempi di specifica ed implementazione di sistemi
- equivalenze: trace equivalence, strong
bisimulation, weak bisimulation
- strong bisimulation: proprieta' equazionali, alberi di sincronizzazione
PARTE CALCOLABILITA' e COMPLESSITA'