Adding Action Refinement to a Finite Process Algebra

• 1 December 1994
• journal article
• Published by Elsevier in Information and Computation
• Vol. 115  (2) , 179-247
• https://doi.org/10.1006/inco.1994.1096

Abstract