Algorithms for infinite session types - Sardinha, Inês Maria Caldeira (2022)
Tese de Mestrado, Mestrado em Informática, 2022, Universidade de Lisboa, Faculdade de Ciências