MONSTR II - Suspending Semantics and Independence

: The suspending semantic model for the execution of the MONSTR generalised term graph rewriting language is defined. This is the canonical operational semantic model for the MONSTR language. Its correctness with respect to DACTL semantics is discussed, and a number of general theorems on the soundness of suspending executions with respect to DACTL semantics are proved. General theorems are proved about the independence of suspending primitive actions, which are useful in the verification of MONSTR systems. Key Words: Intermediate Languages, Term Graph Rewriting, MONSTR, Semantic Models. Category: D.1.3, D.3.1, F.3.2, F.4.2 1 INTRODUCTION In the first paper in this series, [Banach (1996)], we introduced the MONSTR generalised term graph rewriting language, a sublanguage of the DACTL language, and the architectural rationale behind its design. We also briefly described some other semantic models for MONSTR and the correctness problems that they engender when soundness with respect to..