Adding Action Refinement to a Finite Process Algebra

Information and Computation - Tập 115 - Trang 179-247 - 1994
L. Aceto1, M. Hennessy1
1Univ Sussex, Sch Cognit & Comp Sci, Brighton BN1 9QH, E Sussex, England