Towards Action-Refinement in Process Algebras

• 1 April 1993
• journal article
• Published by Elsevier in Information and Computation
• Vol. 103  (2) , 204-269
• https://doi.org/10.1006/inco.1993.1019

Abstract

Keywords

• ACTION REFINEMENT IN PROCESS ALGEBRAS