A Causal Operational Semantics of Action Refinement

• 1 October 1995
• journal article
• Published by Elsevier in Information and Computation
• Vol. 122  (1) , 97-119
• https://doi.org/10.1006/inco.1995.1142

Abstract

Keywords

• CAUSAL OPERATIONAL SEMANTICS
• ACTION REFINEMENT
• OPERATIONAL SEMANTICS