Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Mon 14 Jan 2019 14:15 - 14:40 at Sala VII - Session Types, Graph-Rewriting Chair(s): Antonio Ravara
From testing preorders to flaky tests (OPCT2019-Bernardi-flaky-tests.pdf)685KiB

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