REACT
Full Title
Reliable and Expressive Concurrent Systems through Advanced Session TypesDescription
This project aims to develop mechanisms to avoid deadlocks in context-free session types. More specifically, we will propose a formal structure that guarantees the absence of deadlocks through typing in context-free session types and provide an implementation of the FreeST programming language that guarantees the absence of deadlocks at compile time. By developing a formal framework that incorporates polymorphism, recursion and sequential composition, we can prove key properties of the FreeST type system, such as deadlock freedom. This ensures that programs written in FreeST will operate as intended and avoid situations where they become unresponsive. This project will be developed in collaboration with Prof. Jorge Pérez from the University of Groningen.