. . "Term rewriting"@en . . "Non interleaving"@en . "Concurrency"@en . "Compartment"@en . "Graph rewriting"@en . "Backtracking"@en . "Process algebra"@en . . . . "Electronic trading"@en . "Systems biology"@en . "Rule-based modeling"@en . "Biologie syst\u00E9mique"@fr . "Organic chemistry"@en . . "Protein-protein interaction networks"@en . "R\u00E9versibilit\u00E9"@fr . . "Static analysis"@en . . . . . . "Jean" . . . . "0a7d224b25e70a62be4c29ac86aeb375" . . "Causalit\u00E9"@fr . "Stochastic mechanics"@en . . . <0000-0001-7261-7462> . . <114283311> . "Double-Pushout rewriting"@en . "Bigraphs"@en . "Pathways"@en . "Information systems \u2192 Online banking"@en . "Krivine" . . . "Projectivity"@en . "Formal calculus"@en . "Syst\u00E8me Tet-on"@fr . "Bisimulation"@fr . . "Rule-based modelling"@en . "Jean Krivine" . "Reversibility"@en . "Sesqui-pushout rewriting"@en . "Simulation"@fr . . "Membrane"@en . . "Graph folding"@en . "Clusters"@en . "Alg\u00E8bres de processus"@fr . "Dynamic networks"@en . "Stochasticit\u00E9"@fr . "Syst\u00E8mes r\u00E9partis"@fr . "Mod\u00E9lisation"@fr . "Rule algebra"@en . "Biological data visualization"@en . "Langage de programmation"@fr . "Biochemistry"@en . "Percolation"@en . . "Ising model"@en . . . . "Kappa"@en . "Visualisation"@en . . "Causality"@en . "Rule-based models"@en . . . . . "Calcul formel"@fr . "Smart contracts"@en . "Calculs de processus"@fr . .