I agree that this site is using cookies. You can find further informations here.
X
Vasconcelos, Vasco T.
32  results:
Bookchapter (Online) X
Search for persons X
?
1

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

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

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

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

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

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

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

Context-free session types:

, In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming,
Thiemann, Peter ; Vasconcelos, Vasco T. - p. 462-475 , 2016
Link: https://dl.acm.org/doi/1..
 
?
10

Imperative objects with dependent types:

, In: Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs,
Campos, Joana ; Vasconcelos, Vasco T. - p. 1-6 , 2015
Link: https://dl.acm.org/doi/1..
 
?
11

Modular session types for distributed object-oriented progr..:

, In: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
Gay, Simon J. ; Vasconcelos, Vasco T. ; Ravara, António.. - p. 299-312 , 2010
Link: https://dl.acm.org/doi/1..
 
?
12

Session types for linear multithreaded functional programmi..:

, In: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming,
Vasconcelos, Vasco T. - p. 1-6 , 2009
Link: https://dl.acm.org/doi/1..
 
?
13

Fine Grained Multithreading with Process Calculi:

, In: Proceedings of the 2000 International Conference on Parallel Architectures and Compilation Techniques,
Lopes, Luís ; Silva, Fernando ; Vasconcelos, Vasco T. - p. 217 ff. , 2000
Link: https://dl.acm.org/doi/1..
 
?
14

Asynchronous Timed Session Types: From Duality to Time-Sens..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Bocchi, Laura ; Murgia, Maurizio ; Vasconcelos, Vasco Thudichum. - p. 583-610 , 2019
Link: https://doi.org/10.1007/..
 
?
15

Protocol-based verification of message-passing parallel pro..:

, In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications,
López, Hugo A. ; Marques, Eduardo R. B. ; Martins, Francisco... - p. 280-298 , 2015
Link: https://dl.acm.org/doi/1..
 
1-15