Zunino, Roberto

Zunino, Roberto  

Matematica (29/10/12-)  

Mostra records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.021 secondi).
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 +