Álvaro García-Pérez

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

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

Fantastyc enhances federated learning through blockchain for improved privacy and security.

This article discusses type safety in Pure Subtype Systems and recent advancements.