Stem chp$ (all stems)
1 papers:
IFM-2005-SalaunS #algebra #hardware #process #standard- Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS (GS, WS), pp. 287–306.
IFM-2005-SalaunS #algebra #hardware #process #standard