A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework.
Jakob Lykke Andersen, Marc Hellmuth, Daniel Merkle, Nikolai Njgaard, Marco Peressotti
VenueBSOFSEM
Year2020
ProceedingsSOFSEM (Doctoral Student Research Forum)
DBLP recordconf/sofsem/AndersenHMNP20 ↗
Browse the full SOFSEM paper archive.