Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Mon 14 Jan 2019 15:05 - 15:30 at Sala VII - Session Types, Graph-Rewriting Chair(s): Antonio Ravara

Mon 14 Jan

Displayed time zone: Belfast change

13:50 - 15:30
Session Types, Graph-RewritingOPCT at Sala VII
Chair(s): Antonio Ravara Department 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
Kirstin Peters TU Berlin
14:15
25m
Talk
From Testing Preorders to Flaky Tests
OPCT
Giovanni Bernardi Université Paris Diderot
File Attached
14:40
25m
Talk
Multiparty Reactive Sessions
OPCT
Cinzia Di Giusto Laboratoire I3S
File Attached
15:05
25m
Talk
Independence, Concurrency and Abstraction in Graph-Rewriting Processes
OPCT