Vasco T. Vasconcelos - Publications, H-index & Citations

Vasco T. Vasconcelos

Universidade de Lisboa

28H指数

166论文数

3.7K被引数

收录论文 3

发表时间

Borrowing from Session Types 借鉴会话类型

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL

IF2.8

2025-10-01

PREAI

Saffrich, Hannes; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T.

Foundations of Session Types and Behavioural Contracts

ACM COMPUTING SURVEYS

IF28

2016-04-05

148

OAAI

Huttel, Hans; Lanese, Ivan; Vasconcelos, Vasco T.; Caires, Luis; Carbone, Marco; Denielou, Pierre-Malo; Mostrous, Dimitris; Padovani, Luca; Ravara, Antonio; Tuosto, Emilio; Vieira, Hugo Torres; Zavattaro, Gianluigi

Fine-grained multithreading with process calculi

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2001-08-01

PREAI

Lopes, L; Vasconcelos, VT; Silva, F

研究方向