31 citations · 53 across the 15 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015
Towards Dynamic Updates in Service Composition
Mario Bravetti
We survey our results about verification of adaptable processes. We present adaptable processes as a way of overcoming the limitations that process calculi have for describing patt…
cs.LO2015
Reduction Semantics in Markovian Process Algebra
Mario Bravetti
Stochastic (Markovian) process algebra extend classical process algebra with probabilistic exponentially distributed time durations denoted by rates (the parameter of the exponenti…