Sciammarella, Paolo FrancescoNigro, LiberoGrimaldi, Domenico2019-10-242019-10-242019-06-20http://hdl.handle.net/10955/1719https://doi.org/10.13126/unical.it/dottorati/1719Dottorato in Information and Communication Technologies, Ciclo XXXIenSystems analysisReal-time data processingModellingModellingModelling analysis and implementation of distributed probabilistic timed actors using theatreThesis