E-LIB Suche - Ergebnisse für: Vasco T. Vasconcelos

1

Polymorphic higher-order context-free session types:

Costa, Diana ; Mordido, Andreia ; Poças, Diogo.
Theoretical Computer Science. 1001 (2024) - p. 114582 , 2024

Link: https://doi.org/10.1016/..

2

Protocol-Based Smart Contract Generation:

, In: Financial Cryptography and Data Security. FC 2022 International Workshops; Lecture Notes in Computer Science,

Falcão, Afonso ; Mordido, Andreia ; Vasconcelos, Vasco T. - p. 555-582 , 2023

Link: https://doi.org/10.1007/..

3

Proceedings of the 25th International Symposium on Principl..:

Escobar, Santiago ; Vasconcelos, Vasco T. , 2023

Link: https://dl.acm.org/doi/1..

4

System $$F^\mu _\omega $$ with Context-free Session Types:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Poças, Diogo ; Costa, Diana ; Mordido, Andreia. - p. 392-420 , 2023

Link: https://doi.org/10.1007/..

5

Deductive Verification of MPI Protocols:

, In: Behavioural Types,

Vasconcelos, Vasco T. ; Martins, Francisco ; Marques, Eduardo R. B... - p. 353-372 , 2022

Link: https://doi.org/10.1201/..

6

Mixed sessions:

Casal, Filipe ; Mordido, Andreia ; Vasconcelos, Vasco T.
Theoretical Computer Science. 897 (2022) - p. 23-48 , 2022

Link: https://doi.org/10.1016/..

7

The Different Shades of Infinite Session Types:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Gay, Simon J. ; Poças, Diogo ; Vasconcelos, Vasco T. - p. 347-367 , 2022

Link: https://doi.org/10.1007/..

8

A Type Discipline for Message Passing Parallel Programs:

Vasconcelos, Vasco T. ; Martins, Francisco ; López, Hugo-Andrés.
ACM Transactions on Programming Languages and Systems. 44 (2022) 4 - p. 1-55 , 2022

Link: https://doi.org/10.1145/..

9

Polymorphic lambda calculus with context-free session types:

Almeida, Bernardo ; Mordido, Andreia ; Thiemann, Peter.
Information and Computation. 289 (2022) - p. 104948 , 2022

Link: https://doi.org/10.1016/..

10

Deciding the Bisimilarity of Context-Free Session Types:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Almeida, Bernardo ; Mordido, Andreia ; Vasconcelos, Vasco T. - p. 39-56 , 2020

Link: https://doi.org/10.1007/..

11

Mixed Sessions:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Vasconcelos, Vasco T. ; Casal, Filipe ; Almeida, Bernardo. - p. 715-742 , 2020

Link: https://doi.org/10.1007/..

12

Statically Checking REST API Consumers:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Burnay, Nuno ; Lopes, Antónia ; Vasconcelos, Vasco T. - p. 265-283 , 2020

Link: https://doi.org/10.1007/..

13

Label-dependent session types:

Thiemann, Peter ; Vasconcelos, Vasco T.
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-29 , 2019

Link: https://doi.org/10.1145/..

14

Gradual session types:

IGARASHI, ATSUSHI ; THIEMANN, PETER ; TSUDA, YUYA..
Journal of Functional Programming. 29 (2019) - p. , 2019

Link: https://doi.org/10.1017/..

15

HeadREST: A Specification Language for RESTful APIs:

, In: Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science,

Vasconcelos, Vasco T. ; Martins, Francisco ; Lopes, Antónia. - p. 428-434 , 2019

Link: https://doi.org/10.1007/..