( en | de | ru )

 

Disambiguation of "Vasconcelos, Vasco T."

Author of the publication

copydeleteadd this publication to your clipboard
Protocol-Based Smart Contract Generation.

, , and . Financial Cryptography Workshops, volume 13412 of Lecture Notes in Computer Science, page 555-582. Springer, (2022)

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. You can also use the button next to the name to display some publications already assigned to the person.

Vasco Souza

Vasco Reuss

João Vasconcelos

Daniel Vasconcelos

Cristian Vasco

 

Other publications of authors with the same name

Statically Checking REST API Consumers., , and . SEFM, volume 12310 of Lecture Notes in Computer Science, page 265-283. Springer, (2020)Towards deductive verification of MPI programs against session types., , , , and . PLACES, volume 137 of EPTCS, page 103-113. (2013)Imperative objects with dependent types., and . FTfJP@ECOOP, page 2:1-2:6. ACM, (2015)HeadREST: A Specification Language for RESTful APIs., , , and . Models, Languages, and Tools for Concurrent and Distributed Programming, volume 11665 of Lecture Notes in Computer Science, page 428-434. Springer, (2019)System Fμω with Context-free Session Types., , , and . CoRR, (2023)Protocol-based Smart Contract Generation., , and . CoRR, (2021)Protocol-Based Smart Contract Generation., , and . Financial Cryptography Workshops, volume 13412 of Lecture Notes in Computer Science, page 555-582. Springer, (2022)A Type System for Flexible Role Assignment in Multiparty Communicating Systems., , , and . TGC, volume 8191 of Lecture Notes in Computer Science, page 82-96. Springer, (2012)Deciding the Bisimilarity of Context-Free Session Types., , and . TACAS (2), volume 12079 of Lecture Notes in Computer Science, page 39-56. Springer, (2020)Label-dependent session types., and . Proc. ACM Program. Lang., 4 (POPL): 67:1-67:29 (2020)