Jean Krivine

Available identifiers

Publication	Date of Publication	Type
Fundamentals of compositional rewriting theory	2023-09-25	Paper
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics	2022-09-01	Paper
Compositionality of Rewriting Rules with Conditions	2022-07-01	Paper
Concurrency theorems for non-linear rewriting theories	2022-03-21	Paper
Rewriting theory for the life sciences: a unifying theory of CTMC semantics	2021-08-27	Paper
A calculus of branching processes	2020-01-22	Paper
A Compositional Semantics for the Reversible p-Calculus	2017-07-03	Paper
Incremental Update for Graph Rewriting	2017-05-19	Paper
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models	2017-01-26	Paper
Rigid Families for the Reversible $$\pi $$ -Calculus	2016-08-10	Paper
Rigid Families for CCS and the $$\pi $$ -calculus	2016-02-25	Paper
A Verification Technique for Reversible Process Algebra	2015-11-30	Paper
Intrinsic information carriers in combinatorial dynamical systems	2015-05-19	Paper
Stochastic Bigraphs	2014-05-13	Paper
Formal Cellular Machinery	2014-03-21	Paper
General reversibility	2013-12-13	Paper
Self-assembling trees	2013-12-13	Paper
Computational self-assembly	2008-11-06	Paper
Rule-Based Modelling of Cellular Signalling	2008-09-18	Paper
Rule-Based Modelling, Symmetries, Refinements	2008-06-17	Paper
Abstract Interpretation of Cellular Signalling Networks	2008-04-04	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
Clustering and thermodynamics in the lattice-gas model	2003-02-19	Paper

This page was built for person: Jean Krivine