TY - CONF AB - We introduce propagation models, a formalism designed to support general and efficient data structures for the transient analysis of biochemical reaction networks. We give two use cases for propagation abstract data types: the uniformization method and numerical integration. We also sketch an implementation of a propagation abstract data type, which uses abstraction to approximate states. AU - Henzinger, Thomas A AU - Mateescu, Maria ID - 3299 TI - Propagation models for computing biochemical reaction networks ER -