Modelling Calculi with Name Mobility using Graphs with Equivalences

From MaRDI portal
Publication:2867900

DOI10.1016/J.ENTCS.2006.10.028zbMath1278.68211OpenAlexW1977202104MaRDI QIDQ2867900

Paolo Baldan, Ugo Montanari, Fabio Gadducci

Publication date: 20 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.10.028




Related Items (2)




Cites Work




This page was built for publication: Modelling Calculi with Name Mobility using Graphs with Equivalences