Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus

From MaRDI portal
Publication:2566037

DOI10.1016/j.tcs.2005.03.014zbMath1077.68065OpenAlexW2077397316MaRDI QIDQ2566037

Ugo Montanari, Marco Pistore

Publication date: 22 September 2005

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.03.014




Related Items (20)



Cites Work


This page was built for publication: Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus