Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Mon 14 Jan 2019 14:40 - 15:05 at Sala VII - Session Types, Graph-Rewriting Chair(s): Antonio Ravara
Slides (opct19-mrs.pdf)1.63MiB

Conference Day
Mon 14 Jan

Displayed time zone: Belfast change

13:50 - 15:30
Session Types, Graph-RewritingOPCT at Sala VII
Chair(s): Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS
13:50
25m
Talk
Taming Concurrency for Verification using Multiparty Session Types
OPCT
14:15
25m
Talk
From Testing Preorders to Flaky Tests
OPCT
Giovanni BernardiUniversité Paris Diderot
File Attached
14:40
25m
Talk
Multiparty Reactive Sessions
OPCT
Cinzia Di GiustoLaboratoire I3S
File Attached
15:05
25m
Talk
Independence, Concurrency and Abstraction in Graph-Rewriting Processes
OPCT