8 citations · 8 across the 2 of their papers we have counts for
3 papers · 1 filter
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen +3
We introduce polynomial couplings, a generalization of probabilistic couplings, to develop an algorithm for the computation of equivalence relations which can be interpreted as a l…
Syntactic Markovian Bisimulation for Chemical Reaction Networks
Luca Cardelli, Mirco Tribastone, Max Tschaikowski +1
In chemical reaction networks (CRNs) with stochastic semantics based on continuous-time Markov chains (CTMCs), the typically large populations of species cause combinatorially larg…
Forward and Backward Bisimulations for Chemical Reaction Networks
Luca Cardelli, Mirco Tribastone, Max Tschaikowski +1
We present two quantitative behavioral equivalences over species of a chemical reaction network (CRN) with semantics based on ordinary differential equations. Forward CRN bisimulat…