Importing ownership types into the join calculus
| Contribuinte(s) |
Sangiorgi, Davide |
|---|---|
| Data(s) |
15/07/2010
|
| Formato |
application/pdf |
| Identificador |
http://amslaurea.unibo.it/1173/1/Patrignani_Marco_tesi.pdf Patrignani, Marco (2010) Importing ownership types into the join calculus. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270] <http://amslaurea.unibo.it/view/cds/CDS8028/> |
| Relação |
http://amslaurea.unibo.it/1173/ |
| Direitos |
info:eu-repo/semantics/openAccess |
| Palavras-Chave | #type systems, join calculus, ownership types, process calculus #scuola :: 843899 :: Scienze #cds :: 8028 :: Informatica [LM-DM270] #indirizzo :: 741 :: Curriculum A: Scienze informatiche #sessione :: prima |
| Tipo |
PeerReviewed |
