37 citations · 105 across the 15 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 1 cited
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics (Long version)
Nicolas Behr, Jean Krivine, Jakob L. Andersen +1
The Kappa biochemistry and the MØD organic chemistry frameworks are amongst the most intensely developed applications of rewriting-based methods in the life sciences to date. A typ…
cs.LO2021
Concurrency Theorems for Non-linear Rewriting Theories
Nicolas Behr, Russ Harmer, Jean Krivine
Sesqui-pushout (SqPO) rewriting along non-linear rules and for monic matches is well-known to permit the modeling of fusing and cloning of vertices and edges, yet to date, no const…