12 citations · 48 across the 23 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015
Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems
Nathalie Bertrand, Mirco Tribastone
This volume contains the proceedings of the Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), held in London, UK, on 11 and 12 April, 20…
cs.LO2015★ 8 cited
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…