Sfoglia per Autore Duong, Nhat Tan
Mostrati risultati da 1 a 3 di 3
ABEL - A domain specific framework for programming with attribute-based communication
2019 De Nicola, R.; Duong, T.; Loreti, M.
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems
2019 De Nicola, R.; Duong, T.; Inverso, O.; Mazzanti, F.
Provably correct implementation of the AbC calculus
2021 De Nicola, Rocco; Duong, Tan; Loreti, Michele
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
ABEL - A domain specific framework for programming with attribute-based communication | 1-gen-2019 | De Nicola, R.; Duong, T.; Loreti, M. | |
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems | 1-gen-2019 | De Nicola, R.; Duong, T.; Inverso, O.; Mazzanti, F. | |
Provably correct implementation of the AbC calculus | 1-gen-2021 | De Nicola, Rocco; Duong, Tan; Loreti, Michele |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile