Iso-Recursive Multiparty Sessions and their Automated Verification by Marco Giunti (University of Oxford, England)

Wed, 19 March 2025, 14:00 - 15:00

Tipo de evento:

Seminar

Organizador:

DI/NOVA LINCS

Local do evento:

Sala de Seminários do DI e ZOOM