"A Graph-Based Tool to Embed the π-Calculus into a Computational DPO ..."

Jakob Lykke Andersen et al. (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics