BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Departamento de Computación
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20180218T020000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0300
TZOFFSETTO:-0200
TZNAME:-02
DTSTART:20181104T030000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20190217T020000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190226T150000
DTEND;TZID=America/Sao_Paulo:20190226T170000
DTSTAMP:20260623T102014
CREATED:20190225T125900Z
LAST-MODIFIED:20190225T125900Z
UID:4821-1551193200-1551200400@www.dc.uba.ar
SUMMARY:Charla de Ugo de'Liguoro
DESCRIPTION:Invito a la charla que el próximo Martes 26 de Febrero a las 15 dará Ugo de’Liguoro\, profesor de la Università di Torino\, que nos visita en el marco del\ndel proyecto MSCA-RISE BehAPI.\n\n\nTítulo: Mailbox Types for Unordered Interactions\n\nAbstract: We propose a type system for reasoning on protocol conformance and deadlock freedom in networks of processes that communicate through unordered mailboxes. We model these networks in the mailbox calculus\, a mild extension of the asynchronous pi-calculus with first-class mailboxes and selective input. The calculus subsumes the actor model and allows us to analyze networks with dynamic topologies and varying number of processes possibly mixing different concurrency abstractions. Well-typed processes are deadlock free and never fail because of unexpected messages. For a non-trivial class of them\, junk freedom is also guaranteed. We illustrate the expressiveness of the calculus and of the type system by encoding instances of non-uniform\, concurrent objects\, binary sessions extended with joins and forks\, and some known actor benchmarks.
URL:https://www.dc.uba.ar/event/charla-de-ugo-deliguoro/
LOCATION:Laboratorio 4
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR