FLOW: implementazione e analisi formale di un framework per il calcolo parallelo e distribuito

Questa tesi si articola in due parti. Nella prima (da pagina 7) viene illustrato il lavoro svolto nell'ambito del progetto RTSim del Crs4 (parte del progetto Miur Far 630), con la realizzazione di un framework per il calcolo parallelo e distribuito chiamato FLOW, applicato alla simulazione d'impianto di centrali elettriche turbogas. Nella seconda parte (da pagina 179) viene invece introdotta una descrizione e un'analisi formale delle applicazioni sviluppate utilizzando FLOW: vengono definite due implementazioni dotate di semantica (una basata sul Pi-calcolo, ed una sul linguaggio di coordinamento Linda), e vengono analizzate e verificate alcune proprietà ed equivalenze legate alla topologia della comunicazione inter-processo.

@MastersThesis{SC11,
  author       = {Scalas, A. and Casu, G.},
  title        = {FLOW: implementazione e analisi formale di un framework per il calcolo parallelo e distribuito},
  school       = {Università di Cagliari --- Facoltà di Scienze Matematiche, Fisiche e Naturali},
  month        = {april},
  year         = {2011},
  note         = {Relatore: Prof. G. Michele Pinna. Relatore esterno: Dott. Piero Pili (CRS4)},
  type         = {Masters thesis},
  keywords     = {erlang, hpc, pi-calculus, linda, blas},
  url          = {https://publications.crs4.it/pubdocs/2011/SC11},
}