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
Page 2 of 2. Total results: 11.

A place for researchers and their institutions

Useful Links

Get Help

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