@misc{indiciae9efbece4bf27,
  title = {A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework},
  author = {Jakob Lykke Andersen and Marc Hellmuth and Daniel Merkle and Nikolai Nøjgaard and Marco Peressotti},
  year = {2019},
  url = {https://arxiv.org/abs/1911.00407},
  note = {Source identifier: 1911.00407}
}