Interactions between Causal Structures in Graph Rewriting Systems

Ioana Cristescu, Walter Fontana, Jean Krivine

Graph rewrite formalisms are a powerful approach to modeling complex molecular systems. They capture the intrinsic concurrency of molecular interactions, thereby enabling a formal…