Metodologie e strumenti per la specifica e la verifica di Sistemi Concorrenti

Il progetto LAMBRUSCO aveva come obiettivo lo sviluppo di linguaggi, metodi e strumenti automatici per la specifica e la verifica di sistemi distribuiti concorrenti e la loro sperimentazione su casi di studio significativi in ambito industriale. In questa nota vengono presentati i risultati dell'ultima fase del progetto durante la quale si è principalmente puntato allo sviluppo di metodologie e tools di supporto relativi a tre diversi approcci a questi problemi: le teorie delle algebre di processo, delle reti di Petri e delle specifiche algebriche.