@article{BEHR2021,
 author = {Behr, Nicolas and Krivine, Jean and Andersen, Jakob L. and Merkle, Daniel},
 doi = {10.1016/j.tcs.2021.07.026},
 issn = {0304-3975},
 journal = {Theoretical Computer Science},
 title = {Rewriting Theory for the Life Sciences: {{A}} Unifying Theory of {{CTMC}} Semantics},
 year = {2021}
}