Daniele Nantes-Sobrinho

Learn about program termination and its significance in concurrent programming.

A method for ensuring software correctness through structured analysis.

Explore nominal algebra's role in managing names and binding in programming.

Understanding typed non-determinism and its impact on resource management in computing.