Miguel Eduardo Pinto da Silva


AuthID: R-00H-723

Confirmed Publications: 11



11
TITLE: Non-Blocking Concurrent Imperative Programming with Session Types PDF  Full Text
AUTHORS: Miguel Silva ; Mario Florido ; Frank Pfenning ;
PUBLISHED: 2017, SOURCE: 4th International Workshop on Linearity, LINEARITY 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 238, ISSUE: 238
INDEXED IN: Scopus WOS DBLP arXiv CrossRef
IN MY: ORCID | DBLP
Página 2 de 2. Total de resultados: 11.

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

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service