Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS.

Gwen Salaün Wendelin Serwe Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. 287-306 2005 conf/ifm/2005 IFM http://dx.doi.org/10.1007/11589976_17 db/conf/ifm/ifm2005.html#SalaunS05