3 citations · 5 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019★ 2 cited
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…
cs.LO2018
History-Preserving Bisimulations on Reversible Calculus of Communicating Systems
Clément Aubert, Ioana Cristescu
History-and hereditary history-preserving bisimulation (HPB and HHPB) are equivalences relations for denotational models of concurrency. Finding their counterpart in process algebr…