Publications

2017
Clement Aubert and Ioana Cristescu. 2017. “Contextual equivalences in configuration structures and reversibility.” Journal of Logical and Algebraic Methods in Programming, 86. Publisher's Version main.pdf
2016
Ioana Cristescu and Daniel Hirschkoff. 2016. “Termination in a Pi-calculus with subtyping.” Mathematical Structures in Computer Science, 8, 26, Pp. 1395–1432. Publisher's Version termination-in-a-calculus-with-subtyping.pdf
Ioana Cristescu, Jean Krivine, and Daniele Varacca. 2016. “Rigid Families for the Reversible pi-Calculus.” In Reversible Computations, 8th ed., Pp. 3-19. Bologna, Italy: Springer International Publishing. Publisher's Version rigid_rpi.pdf
2015
Ioana Cristescu and Clement Aubert. 2015. “Reversible Barbed Congruence on Configuration Structures.” In Interaction and Concurrency Experience, ICE, 8th ed. Grenoble, France. Publisher's Version icepaper2.pdf
Ioana Cristescu, Jean Krivine, and Daniele Varacca. 2015. “Rigid families for CCS and the pi-calculus.” In International Colloquium on Theoretical Aspects of Computing ICTAC, 12th ed. Cali, Colombia. Publisher's Version rigid_families.pdf
2013
Ioana Cristescu, Jean Krivine, and Daniele Varacca. 2013. “A compositional semantics for the reversible pi-calculus.” In ACM/IEEE Symposium on Logic in Computer Science, LICS , 28th ed., Pp. 388-397. New Orleans, USA. Publisher's Version rpi.pdf
2011
Ioana Cristescu and Daniel Hirschkoff. 2011. “Termination in a pi-calculus with subtyping.” In International Workshop on Expressiveness in Concurrency, EXPRESS, 18th ed. Aachen, Germany. dengsub.pdf