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