Exportar referência
APA
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos, (2020). Deciding the Bisimilarity of Context-Free Session Types. Tools and Algorithms for the Construction and Analysis of Systems,Lecture Notes in Computer Science, 39-56
IEEE
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos, "Deciding the Bisimilarity of Context-Free Session Types" in Tools and Algorithms for the Construction and Analysis of Systems,Lecture Notes in Computer Science, , 2020, pp. 39-56,
doi: 10.1007/978-3-030-45237-7_3
BIBTEX
@InProceedings{46376,
author = {Bernardo Almeida and Andreia Mordido and Vasco T. Vasconcelos},
title = {Deciding the Bisimilarity of Context-Free Session Types},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,Lecture Notes in Computer Science},
year = 2020,
pages = {39-56},
address = {},
publisher = {Springer International Publishing}
}