A Process Calculus for Design and Modeling of Retro-Synthesis.

Gabriel Broholm, Maliina B. S. Hammeken, Marcus Skov Hansen, Alexander Juhl, Marc Storm Larsen, Jrgen Fischer Nilsson, Thomas Pethick, Magnus Gether Srensen

Browse the full EJC paper archive.