Luca Aceto

Il calo della ricerca SOS fa riflettere sul futuro.

Una panoramica dei calcoli dei processi nominali e la loro importanza nell'informatica.

Uno sguardo ai metodi di testing basati su modelli per la verifica dei sistemi.

Questo articolo parla del ruolo del nondeterminismo limitato nella gestione del comportamento dei programmi.

Questo documento parla di come proteggere i contratti intelligenti attraverso un sistema di tipi focalizzato sull'integrità.

Uno sguardo a come diversi sistemi di monitoraggio controllano comportamenti complessi.

Un nuovo sistema di tipi assicura che i contratti smart funzionino senza problemi di gas.