Implementazione di Semantiche Operazionali per MULTI-CCS
| Contribuinte(s) |
Gorrieri, Roberto |
|---|---|
| Data(s) |
20/03/2012
|
| Resumo |
implementazione e dimostrazione di semantiche per il nuovo linguaggio di modellazione concorrente ¨Multi-CCS¨ |
| Formato |
application/pdf |
| Identificador |
http://amslaurea.unibo.it/3132/1/moschese_giovanni_tesi.pdf Moschese, Giovanni (2012) Implementazione di Semantiche Operazionali per MULTI-CCS. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM509] <http://amslaurea.unibo.it/view/cds/CDS0099/> |
| Relação |
http://amslaurea.unibo.it/3132/ |
| Direitos |
info:eu-repo/semantics/openAccess |
| Palavras-Chave | #modelli e sistemo concorrenti, multi-ccs #scuola :: 843899 :: Scienze #cds :: 0099 :: Informatica [L-DM509] #sessione :: terza |
| Tipo |
PeerReviewed |
