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

Qui, 26 abril 2018, 14:00 - 15:00

Tipo de evento:

Seminário

Organizador:

DI / NOVA LINCS

Local do evento:

Edifício II

Localização específica:

Sala de seminários do DI

Contacto: