Abstracting the differential semantics of rule-based models: Exact and automated model reduction (2010)

by V Danos, J Feret, W Fontana, R Harmer, J Krivine
Venue:In 25th LICS