1. Repositório Aberto da Universidade do Porto
  2. FCUP - Faculdade de Ciências
  3. FCUP - Dissertação
Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/85235
Full metadata record
DC FieldValueLanguage
dc.creatorMiguel Eduardo Pinto da Silva
dc.date.accessioned2025-11-10T06:02:23Z-
dc.date.available2025-11-10T06:02:23Z-
dc.date.issued2016-07-25
dc.date.submitted2016-08-16
dc.identifier.othersigarra:140726
dc.identifier.urihttps://hdl.handle.net/10216/85235-
dc.language.isoeng
dc.rightsopenAccess
dc.rights.urihttps://creativecommons.org/licenses/by-nc/4.0/
dc.subjectCiências exactas e naturais
dc.subjectNatural sciences
dc.titleNon-Blocking Concurrent Imperative Programming with Session Types
dc.typeDissertação
dc.contributor.uportoFaculdade de Ciências
dc.identifier.doi10.34626/412r-2982
dc.identifier.tid201391040
dc.subject.fosCiências exactas e naturais
dc.subject.fosNatural sciences
thesis.degree.disciplineMestrado em Ciência de Computadores
thesis.degree.grantorFaculdade de Ciências
thesis.degree.grantorUniversidade do Porto
thesis.degree.level1
Appears in Collections:FCUP - Dissertação

Files in This Item:
File Description SizeFormat 
140726.pdfNon-Blocking Concurrent Imperative Programming with Session Types1.8 MBAdobe PDFThumbnail
View/Open
Show simple item record Recommend this item Display Statistics


This item is licensed under a Creative Commons License Creative Commons