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.
Metodologie e strumenti per la specifica e la verifica di Sistemi Concorrenti
Gnesi S;
1995
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_409225-doc_143807.pdf
accesso aperto
Descrizione: Metodologie e strumenti per la specifica e la verifica di Sistemi Concorrenti
Tipologia:
Versione Editoriale (PDF)
Dimensione
4.26 MB
Formato
Adobe PDF
|
4.26 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
