Sfoglia per Autore Duong, Nhat Tan
Mostrati risultati da 1 a 3 di 3
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems
2019-01-01 De Nicola, R.; Duong, T.; Inverso, O.; Mazzanti, F.
ABEL - A domain specific framework for programming with attribute-based communication
2019-01-01 De Nicola, R.; Duong, T.; Loreti, M.
Provably correct implementation of the AbC calculus
2021-01-01 De Nicola, Rocco; Duong, Tan; Loreti, Michele
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems | 1-gen-2019 | De Nicola, R.; Duong, T.; Inverso, O.; Mazzanti, F. | |
ABEL - A domain specific framework for programming with attribute-based communication | 1-gen-2019 | De Nicola, R.; Duong, T.; Loreti, M. | |
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