Cappello, Igor
Cappello, Igor
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.009 secondi).
A Tool for Checking Probabilistic Properties of COWS Services
2010-01-01 Cappello, Igor; Quaglia, Paola
A translation of Beta-binders in a prioritized pi-calculus
2009-01-01 Cappello, Igor; Quaglia, Paola
A Translation of Beta-binders in a Prioritized Pi-calculus
2009-01-01 Cappello, Igor; Quaglia, Paola
Book of abstracts: Scientific Opening of The Microsoft Reasearch Centre for Computational and Systems Biology, Trento, Italy, April 3-5, 2006
2006-01-01 Cavaliere, Matteo; Cappello, Igor; Walker, David; Montanari, Ugo; Baralla, Angela; Priami, Corrado; Mura, Ivan; Csikasz-Nagy, Attila; Hillston, Jane
Communication Priorities and Stochastic Measures for Web Services Modeling
2012-01-01 Cappello, Igor
Expressing global priorities by best-matching
2012-01-01 Cappello, Igor; Quaglia, Paola
Quantitative Analysis of Services
2011-01-01 Cappello, Igor; A., Clark; S., Gilmore; D., Latella; M., Loreti; Quaglia, Paola; Schivo, Stefano