Sciweavers

TGC
2010
Springer
14 years 4 months ago
A Tool for Checking Probabilistic Properties of COWS Services
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
Igor Cappello, Paola Quaglia