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

Nicolas Behr, Jean Krivine, Jakob L. Andersen, Daniel Merkle. Rewriting theory for the life sciences: A unifying theory of CTMC semantics. Theoretical Computer Science, 884:68-115, 2021. [doi]

Abstract

Abstract is missing.