Joseph W. N. Paulus

Learn about program termination and its significance in concurrent programming.

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