The following pages link to Jean Krivine (Q953540):
Displayed 25 items.
- Computational self-assembly (Q953541) (← links)
- (Q1859755) (redirect page) (← links)
- Clustering and thermodynamics in the lattice-gas model (Q1859756) (← links)
- Rewriting theory for the life sciences: a unifying theory of CTMC semantics (Q2049987) (← links)
- Concurrency theorems for non-linear rewriting theories (Q2117255) (← links)
- A calculus of branching processes (Q2286743) (← links)
- Rigid Families for CCS and the $$\pi $$ -calculus (Q2787425) (← links)
- Self-assembling Trees (Q2866313) (← links)
- General Reversibility (Q2866345) (← links)
- Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models (Q2957506) (← links)
- Incremental Update for Graph Rewriting (Q2988640) (← links)
- Rigid Families for the Reversible $$\pi $$ -Calculus (Q3186581) (← links)
- A Verification Technique for Reversible Process Algebra (Q3453753) (← links)
- Rule-Based Modelling, Symmetries, Refinements (Q3506871) (← links)
- Rule-Based Modelling of Cellular Signalling (Q3525627) (← links)
- Compositionality of Rewriting Rules with Conditions (Q5087656) (← links)
- Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics (Q5100733) (← links)
- Intrinsic information carriers in combinatorial dynamical systems (Q5251237) (← links)
- A Compositional Semantics for the Reversible p-Calculus (Q5271076) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311480) (← links)
- Formal Cellular Machinery (Q5404096) (← links)
- Stochastic Bigraphs (Q5415632) (← links)
- Abstract Interpretation of Cellular Signalling Networks (Q5452709) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897497) (← links)
- Fundamentals of compositional rewriting theory (Q6052944) (← links)