Luca Aceto

Eine Übersicht über nominale Prozessrechnungen und ihre Bedeutung in der Informatik.

Ein Blick auf modellbasierte Testmethoden zur Systemüberprüfung.

Dieser Artikel behandelt die Rolle von begrenztem Nichtdeterminismus im Management des Verhaltens von Programmen.

Dieses Papier behandelt die Absicherung von Smart Contracts durch ein Typsystem, das auf Integrität fokussiert ist.

Ein Blick darauf, wie verschiedene Überwachungssysteme komplexe Verhaltensweisen überprüfen.

Neues Typsystem sorgt dafür, dass Smart Contracts reibungslos laufen, ohne Gasprobleme.