Login / Signup
A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework.
Jakob Lykke Andersen
Marc Hellmuth
Daniel Merkle
Nikolai Nøjgaard
Marco Peressotti
Published in:
CoRR (2019)
Keyphrases
</>
main contribution
theoretical framework
neural network
expressive power
analysis tool