Equivalence Checking for a Finite Higher Order π-Calculus

DOI10.1007/978-3-540-79124-9_4zbMath1138.68439OpenAlexW1509030580MaRDI QIDQ5458809

Could not fetch data.

Publication date: 24 April 2008

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79124-9_4

Mathematics Subject Classification ID

Could not fetch data.