Exportar referência
APA
Gil Silva, Andreia Mordido, Vasco T. Vasconcelos, (2023). Subtyping Context-free Session Types. International Conference on Concurrency Theory (CONCUR), -
IEEE
Gil Silva, Andreia Mordido, Vasco T. Vasconcelos, "Subtyping Context-free Session Types" in International Conference on Concurrency Theory (CONCUR), , 2023, pp. -,
doi: 10.4230/LIPIcs.CONCUR.2023.11
BIBTEX
@InProceedings{59856,
author = {Gil Silva and Andreia Mordido and Vasco T. Vasconcelos},
title = {Subtyping Context-free Session Types},
booktitle = {International Conference on Concurrency Theory (CONCUR)},
year = 2023,
pages = {-},
address = {},
publisher = {}
}