A Process Calculus for Design and Modeling of Retro-Synthesis. - Gabriel Broholm; Maliina B. S. Hammeken; Marcus Skov Hansen; Alexander Juhl; Marc Storm Larsen; Jørgen Fischer Nilsson; Thomas M. Pethick; Magnus Gether Sørensen (EJC, 2018)