Miguel Eduardo Pinto da Silva


AuthID: R-00H-723

Publicações Confirmadas: 11



11
TÍTULO: Non-Blocking Concurrent Imperative Programming with Session Types PDF  Full Text
AUTORES: Miguel Silva ; Mario Florido ; Frank Pfenning ;
PUBLICAÇÃO: 2017, FONTE: 4th International Workshop on Linearity, LINEARITY 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 238, NÚMERO: 238
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 2
NO MEU: ORCID | DBLP
Página 2 de 2. Total de resultados: 11.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service