Zunino, Roberto
Zunino, Roberto
Matematica (29/10/12-)
Call-by-contract for service discovery, orchestration and recovery
2011-01-01 M., Bartoletti; P., Degano; G. L., Ferrari; Zunino, Roberto
Compliance in behavioural contracts: A brief survey
2015-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Zunino, Roberto
Contract-Oriented design of distributed applications: A tutorial
2017-01-01 Atzei, N.; Bartoletti, M.; Murgia, M.; Tuosto, E.; Zunino, R.
Debits and Credits in Petri Nets and Linear Logic
2015-01-01 Bartoletti, Massimo; Degano, Pierpaolo; Di Giamberardino, Paolo; Zunino, Roberto
l: An imperative DSL to stochastically simulate biological systems
2015-01-01 Zunino, Roberto; Nikolić, Đurica; Priami, Corrado; Kahramanogullari, Ozan; Schiavinotto, Tommaso
Models of Circular Causality
2015-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, G. Michele; Zunino, Roberto
Tools and Verification
2011-01-01 M., Bartoletti; L., Caires; I., Lanese; F., Mazzanti; D., Sangiorgi; H. T., Vieira; Zunino, Roberto
| Titolo | Anno di pubblicazione | Autori Unitn | File |
|---|---|---|---|
| Call-by-contract for service discovery, orchestration and recovery | 1-gen-2011 | Zunino, Roberto + | |
| Compliance in behavioural contracts: A brief survey | 1-gen-2015 | Zunino, Roberto + | |
| Contract-Oriented design of distributed applications: A tutorial | 1-gen-2017 | Murgia M.Zunino R. + | |
| Debits and Credits in Petri Nets and Linear Logic | 1-gen-2015 | Zunino, Roberto + | |
| l: An imperative DSL to stochastically simulate biological systems | 1-gen-2015 | Zunino, RobertoPriami, CorradoKahramanogullari, Ozan + | |
| Models of Circular Causality | 1-gen-2015 | Zunino, Roberto + | |
| Tools and Verification | 1-gen-2011 | Zunino, Roberto + |