16 citations · 129 across the 20 of their papers we have counts for
6 papers · 1 filter
Dual Numbers and Operational Umbral Methods
Nicolas Behr, Giuseppe Dattoli, Ambra Lattanzi +1
Dual numbers and their higher order version are important tools for numerical computations, and in particular for finite difference calculus. Based upon the relevant algebraic rule…
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…
Compositionality of Rewriting Rules with Conditions
Nicolas Behr, Jean Krivine
We extend the notion of compositional associative rewriting as recently studied in the rule algebra framework literature to the setting of rewriting rules with conditions. Our meth…
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…
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems
Nicolas Behr, Vincent Danos, Ilias Garnier
We develop a novel method to analyze the dynamics of stochastic rewriting systems evolving over finitary adhesive, extensive categories. Our formalism is based on the so-called rul…
Operator Ordering and Solution of Pseudo-Evolutionary Equations
Nicolas Behr, Giuseppe Dattoli, Ambra Lattanzi
The solution of pseudo initial value differential equations, either ordinary or partial (including those of fractional nature), requires the development of adequate analytical meth…