The Meaning of Negative Premises in Transition System Specifications II

摘要

This paper reviews several methods to associate transition relatios to transition system specifications with negative premises in Plotkin's structural operational style. Besides a formal comparison on generality and relative consistency, the methods are also evaluate on their taste in determining which specifications are meaningful and which are not.