Cristescu, Ioana

1. How Reversibility Can Solve Traditional Questions: The Example of\n Hereditary History-Preserving Bisimulation
   2020/05/14 by Clément Aubert, Aubert, Clément, Ioana Cristescu +1 · 3 citations
   Computer Science · Engineering · #Advanced Memory and Neural Computing #Distributed #Embedded Systems Design Techniques #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Logic (math.LO) #Logic in Computer Science (cs.LO) #Parallel #Parallel Computing and Optimization Techniques #and Cluster Computing (cs.DC)
2. Contextual equivalences in configuration structures and reversibility
   2015/11/18 by Clément Aubert, Aubert, Clément, Ioana Cristescu +1 · 1 citation
   Computer Science · Arts and Humanities · #Logic, programming, and type systems #Syntax, Semantics, Linguistic Variation #Logic, Reasoning, and Knowledge