5 citations · 5 across the 1 of their papers we have counts for
6 papers · 1 filter
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…
On Stochastic Rewriting and Combinatorics via Rule-Algebraic Methods
Nicolas Behr
Building upon the rule-algebraic stochastic mechanics framework, we present new results on the relationship of stochastic rewriting systems described in terms of continuous-time Ma…
Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping
Nicolas Behr, Reiko Heckel, Maryam Ghaffari Saadat
Graph transformation theory relies upon the composition of rules to express the effects of sequences of rules. In practice, graphs are often subject to constraints, ruling out many…
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics
Nicolas Behr, Jean Krivine
The Kappa biochemistry and the MØD organo-chemistry frameworks are amongst the most intensely developed applications of rewriting theoretical methods in the life sciences to date.…
Tracelets and Tracelet Analysis Of Compositional Rewriting Systems
Nicolas Behr
Taking advantage of a recently discovered associativity property of rule compositions, we extend the classical concurrency theory for rewriting systems over adhesive categories. We…
Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework
Nicolas Behr
Sesqui-pushout (SqPO) rewriting is a variant of transformations of graph-like and other types of structures that fit into the framework of adhesive categories where deletion in unk…