Building an Infrastructure for pi-calculus with Distinctions

27 October 2025, 12:00, CSIT Level 2 - Systems Area
Speaker: Myria Sarvay (ANU)
bars search caret-down plus minus arrow-right times