research
∙
04/16/2022
Fault-Tolerant Multiparty Session Types (Technical Report)
Multiparty session types are designed to abstractly capture the structur...
share
research
∙
10/29/2020
Poster: Benchmarking Financial Data Feed Systems
Data-driven solutions for the investment industry require event-based ba...
research
∙
08/18/2019
Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)
The additional complexity caused by concurrently communicating processes...
research
∙
10/26/2017