"Translating Hardware Process Algebras into Standard Process Algebras: ..."

Gwen Salaün, Wendelin Serwe (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics