Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 133



11
TITLE: Mixed sessions  Full Text
AUTHORS: Casal, F; Mordido, A ; Vasconcelos, VT ;
PUBLISHED: 2022, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 897
INDEXED IN: WOS DBLP
IN MY: DBLP
12
TITLE: Polymorphic lambda calculus with context-free session types  Full Text
AUTHORS: Almeida, Bernardo; Mordido, Andreia; Thiemann, Peter; Vasconcelos, Vasco T. ;
PUBLISHED: 2022, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 289
INDEXED IN: WOS
13
TITLE: The Different Shades of Infinite Session Types
AUTHORS: Gay, Simon J.; Pocas, Diogo; Vasconcelos, Vasco T. ;
PUBLISHED: 2022, SOURCE: 25th International Conference on Fundamental Approaches to Software Engineering (FASE) Held as Part of the Annual European Joint Conferences on Theory and Practice of Software (ETAPS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), VOLUME: 13242
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
14
TITLE: The Different Shades of Infinite Session Types
AUTHORS: Simon J Gay; Diogo Poças; Vasco T Vasconcelos ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2201.08275
INDEXED IN: DBLP
IN MY: DBLP
15
16
TITLE: Polymorphic Context-free Session Types
AUTHORS: Bernardo Almeida; Andreia Mordido ; Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2106.06658
INDEXED IN: DBLP
IN MY: DBLP
17
TITLE: Protocol-based Smart Contract Generation
AUTHORS: Afonso Falcão; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2108.02672
INDEXED IN: DBLP
IN MY: DBLP
18
TITLE: Deciding the Bisimilarity of Context-Free Session Types
AUTHORS: Bernardo Almeida; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 in Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II, VOLUME: 12079
INDEXED IN: Scopus DBLP
IN MY: DBLP
19
TITLE: Duality of Session Types: The Final Cut
AUTHORS: Simon J Gay; Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2020 in Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020., VOLUME: 314
INDEXED IN: Scopus DBLP
IN MY: DBLP
20
TITLE: Label-dependent session types
AUTHORS: Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: Proc. ACM Program. Lang., VOLUME: 4, ISSUE: POPL
INDEXED IN: DBLP
IN MY: DBLP
Página 2 de 14. Total de resultados: 133.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service