31 citations · 53 across the 15 of their papers we have counts for
5 papers · 1 filter
Axiomatizing Maximal Progress and Discrete Time
Mario Bravetti
Milner's complete proof system for observational congruence is crucially based on the possibility to equate divergent expressions to non-divergent ones by means of the axiom $r…
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…
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…
Choreographies and Behavioural Contracts on the Way to Dynamic Updates
Mario Bravetti, Gianluigi Zavattaro
We survey our work on choreographies and behavioural contracts in multiparty interactions. In particular theories of behavioural contracts are presented which enable reasoning abou…
Adaptable processes
Mario Bravetti, Cinzia Di Giusto, Jorge A Perez +1
We propose the concept of adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution. Such patterns r…