Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction.

Vincent Danos, Jrme Feret, Walter Fontana, Russell Harmer, Jean Krivine

Browse the full LICS paper archive.