223 citations · 243 across the 16 of their papers we have counts for
1 paper · 1 filter
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…