@inproceedings{BK2020,
 author = {Behr, Nicolas and Krivine, Jean},
 booktitle = {Graph {{Transformation}}, 13th {{International Conference}}, {{ICGT}} 2020, {{Held}} as {{Part}} of {{STAF}} 2020, {{Bergen}}, {{Norway}}, {{June}} 25--26, 2020, {{Proceedings}}},
 doi = {10.1007/978-3-030-51372-6},
 editor = {Gadducci, Fabio and Kehrer, Timo},
 publisher = {Springer International Publishing},
 series = {Theoretical {{Computer Science}} and {{General Issues}}},
 title = {Rewriting Theory for the Life Sciences: {{A}} Unifying Framework for {{CTMC}} Semantics},
 volume = {12150},
 year = {2020}
}