662 citations
- Institute for Complex SystemsIT13 papers
- University of FlorenceIT8 papers
- Boston UniversityUS6 papers
- KU LeuvenBE5 papers
- London Institute for Mathematical SciencesGB5 papers
- Sapienza University of RomeIT5 papers
- European Centre for Living TechnologyIT4 papers
- University of TrentoIT4 papers
- Yeshiva UniversityUS4 papers
- Ca' Foscari University of VeniceIT3 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Centro Ricerche Enrico FermiIT3 papers
Showing cs.LOShow all
2 papers · 1 filter
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…
cs.LO2014★ 32 cited
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
Marco Bernardo, Rocco De Nicola, Michele Loreti
Two of the most studied extensions of trace and testing equivalences to nondeterministic and probabilistic processes induce distinctions that have been questioned and lack properti…