Daniel Merkle

Latest

• Rewriting theory for the life sciences: A unifying theory of CTMC semantics