( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Nested Session Types.

, , , и . ESOP, том 12648 из Lecture Notes in Computer Science, стр. 178-206. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Andréia Feijão

Andreia Ioana Popa

Andréia Bergamo Estrella

Andréia Luísa Rosa

Andreia Celeste Pereira Albuquerque

 

Другие публикации лиц с тем же именем

Mixed sessions., , и . Theor. Comput. Sci., (2022)FreeST: Context-free Session Types in a Functional Language., , и . PLACES@ETAPS, том 291 из EPTCS, стр. 12-23. (2019)System Fμ ømega with Context-free Session Types., , , и . ESOP, том 13990 из Lecture Notes in Computer Science, стр. 392-420. Springer, (2023)Subtyping Context-Free Session Types., , и . CONCUR, том 279 из LIPIcs, стр. 11:1-11:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)An Equation-Based Classical Logic., и . WoLLIC, том 9160 из Lecture Notes in Computer Science, стр. 38-52. Springer, (2015)Mixed Sessions: the Other Side of the Tape., , и . PLACES@ETAPS, том 314 из EPTCS, стр. 46-60. (2020)Mixed Sessions., , , и . ESOP, том 12075 из Lecture Notes in Computer Science, стр. 715-742. Springer, (2020)Nested Session Types., , , и . ESOP, том 12648 из Lecture Notes in Computer Science, стр. 178-206. Springer, (2021)Polarized Subtyping., , , , и . ESOP, том 13240 из Lecture Notes in Computer Science, стр. 431-461. Springer, (2022)Towards a SQL Injection Vulnerability Detector Based on Session Types., , и . ENASE, стр. 711-718. SCITEPRESS, (2024)