Luca Aceto

An overview of nominal process calculi and their significance in computer science.

A look into model-based testing methods for system verification.

This article discusses the role of bounded nondeterminism in program behavior management.

This paper discusses securing smart contracts through a type system focused on integrity.

A look into how different monitoring systems check complex behaviors.

New type system ensures smart contracts run smoothly without gas issues.