Symbolic Reachability for Process Algebras with Recursive Data Types.

Stefan Blom, Jaco van de Pol

Browse the full ICTAC paper archive.