Duong, Nhat Tan
Duong, Nhat Tan
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.003 secondi).
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 |