| No. |
Title |
Author |
Year |
| 1 |
Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372) |
Dezani, Mariangiola et al. |
2022 |
| 2 |
Generalised Multiparty Session Types with Crash-Stop Failures |
Barwell, Adam D. et al. |
2022 |
| 3 |
On the Monitorability of Session Types, in Theory and Practice |
Bartolo Burlò, Christian et al. |
2021 |
| 4 |
On the Monitorability of Session Types, in Theory and Practice (Artifact) |
Bartolo Burlò, Christian et al. |
2021 |
| 5 |
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming |
Scalas, Alceste et al. |
2017 |
| 6 |
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact) |
Scalas, Alceste et al. |
2017 |
| 7 |
Lightweight Session Programming in Scala |
Scalas, Alceste et al. |
2016 |
| 8 |
Lightweight Session Programming in Scala (Artifact) |
Scalas, Alceste et al. |
2016 |
