A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation.

Jérôme Feret Albin Salazar

Published in: VMCAI (2023)

Keyphrases

data flow
coarse grain
fine grain
abstract interpretation
termination analysis
static analysis
active rules
data structure
management system
parallel computation