Presentazione del Corso
Reti di Petri - PN:
Abstract State Machine - ASM:
Altri formalismi per la comunicazione: