Spazi metrici e teoremi di contrazione come fondamenti per l'analisi statica di programmi concorrenti

theses proposal

Spazi metrici e teoremi di contrazione come fondamenti per l'analisi statica di programmi concorrenti

Guarantor: Roberto Giacobazzi
Study courses: Bachelor in Computer Science (old system)

Description

Tesi di ricerca di base sull'estensione a spazi metrici e di Hilbert dell'interpretazione astratta standard