# Publications

Contextual equivalences in configuration structures and reversibility.” Journal of Logical and Algebraic Methods in Programming, 86. Publisher's Version main.pdf

. 2017. “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

. 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

. 2016. “Reversible Barbed Congruence on Configuration Structures.” In Interaction and Concurrency Experience, ICE, 8th ed. Grenoble, France. Publisher's Version icepaper2.pdf

. 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

. 2015. “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

. 2013. “Termination in a pi-calculus with subtyping.” In International Workshop on Expressiveness in Concurrency, EXPRESS, 18th ed. Aachen, Germany. dengsub.pdf

. 2011. “