Zunino, Roberto
Zunino, Roberto
Matematica (29/10/12-)
A Calculus of Contracting Processes
2009-01-01 Bartoletti, Massimo; Zunino, Roberto
A Calculus of Contracting Processes
2010-01-01 M., Bartoletti; Zunino, Roberto
A Formal Model of Algorand Smart Contracts
2021-01-01 Bartoletti, Massimo; Bracciali, Andrea; Lepore, Cristian; Scalas, Alceste; Zunino, Roberto
A Formal Model of Bitcoin Transactions
2018-01-01 Atzei, N.; Bartoletti, M.; Lande, S.; Zunino, R.
A general syntax for nonrecursive higher inductive types
2020-01-01 Girardi, M.; Zunino, R.; Benini, M.
A Logic for Contracts
2009-01-01 Bartoletti, Massimo; Zunino, Roberto
A Note on the Perfect Encryption Assumption in a Process Calculus
2004-01-01 Zunino, Roberto; P., Degano
A rule-based and imperative language for biochemical modeling and simulation
2012-01-01 Đ., Nikolić; Priami, Corrado; Zunino, Roberto
A Semantic Deconstruction of Session Types
2014-01-01 M., Bartoletti; A., Scalas; Zunino, Roberto
A Sound Up-to- n, δ Bisimilarity for PCTL
2022-01-01 Bartoletti, M.; Murgia, M.; Zunino, R.
A theory of agreements and protection
2013-01-01 M., Bartoletti; T., Cimoli; Zunino, Roberto
Accelerating rejection-based simulation of biochemical reactions with bounded acceptance probability
2016-01-01 Vo Hong, Thanh; Priami, Corrado; Zunino, Roberto
Adaptive tree-based search for stochastic simulation algorithm
2014-01-01 Vo Hong, Thanh; Zunino, Roberto
An imperative language of self-modifying graphs for biological systems
2012-01-01 Priami, Corrado; Quaglia, Paola; Zunino, Roberto
Bitcoin Covenants Unchained
2020-01-01 Bartoletti, M.; Lande, S.; Zunino, R.
BitML: A Calculus for Bitcoin Smart Contracts
2018-01-01 Bartoletti, Massimo; Zunino, Roberto
Call-by-contract for service discovery, orchestration and recovery
2011-01-01 M., Bartoletti; P., Degano; G. L., Ferrari; Zunino, Roberto
Choreographies in the wild
2015-01-01 Bartoletti, M.; Lange, J.; Scalas, A.; Zunino, Roberto
Circular causality in event structures
2014-01-01 Massimo, Bartoletti; Tiziana, Cimoli; G., Michele Pinna; Zunino, Roberto
Compliance in behavioural contracts: A brief survey
2015-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Zunino, Roberto