LASIGE’s MSc student Gil Silva is the first author of the paper “Subtyping Context-Free Session Types ”, accepted for presentation at CONCUR 2023: International Conference on Concurrency Theory, a CORE A ranked conference. The event will take place in Antwerp, Belgium, from September 18 to 23.

The paper, titled “Subtyping Context-Free Session Types”, is co-authored by Gil Silva’s supervisors and LASIGE members, Andreia Mordido and Vasco T. Vasconcelos. In the published work, the researchers present an approach to subtyping context-free session types based on a novel kind of observational preorder they call XYZW-simulation, which generalizes XY-simulation (also known as covariant-contravariant simulation) and therefore also bisimulation and plain simulation. They further propose a subtyping algorithm, and present an empirical evaluation in the context of a compiler for a programming language. They predict that, due to the general nature of the simulation relation upon which it is built, this algorithm may also find applications in other domains.

The full article is available here.