Jean Krivine

Latest

• Rewriting theory for the life sciences: A unifying theory of CTMC semantics
• Concurrency Theorems for Non-linear Rewriting Theories
• Compositionality of Rewriting Rules with Conditions
• Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics