Undecidability of Asynchronous Session Subtyping: the Hunt for Significant Decidable Variants By: Mario Bravetti (Universitá di Bologna)

Thu, 26 April 2018, 14:00 - 15:00

Tipo de evento:

Seminar

Organizador:

DI / NOVA LINCS

Local do evento:

Edifício II

Localização específica:

Sala de seminários do DI

Contacto: