Return to Article Details The Operational Semantics of Action Notation Download Download PDF