Before revision:  To address this, we formalize the semantics of a core protocol language as a stochastic hybrid process , which provides a unified description for the models of biochemical systems being experimented on, together with the discrete events representing the liquid-handling steps of biological protocols.
After revision:  To address this, we formalize the semantics of a core protocol language , which provides a unified description for the models of biochemical systems being experimented on, together with the discrete events representing the liquid-handling steps of biological protocols.