E-LIB Suche - Ergebnisse für: Vasconcelos, Vasco

1

The Role of Social Networks in Distributed Informal Informa..:

, In: Organizational Integration of Enterprise Systems and Resources,

Vasconcelos, Vasco ; Campos, Pedro - p. 60-75 , 2012

Link: https://doi.org/10.4018/..

2

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/..

3

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/..

4

Companion Proceedings of the 2023 ACM SIGPLAN International..:

Vasconcelos, Vasco Thudichum , 2023

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

5

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

Escobar, Santiago ; Vasconcelos, Vasco T. , 2023

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

6

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/..

7

Mixed sessions:

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

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

8

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/..

9

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/..

10

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/..

11

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/..

12

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/..

13

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/..

14

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/..

15

Special issue on the tenth Workshop on Programming Language..:

Haller, Philipp ; Vasconcelos, Vasco Thudichum
Journal of Logical and Algebraic Methods in Programming. 106 (2019) - p. 196-197 , 2019

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