R.J. van Glabbeek (Stanford)
February 1995
This paper reviews several methods to associate transition
relations 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 evaluated on their taste in determining
which specifications are meaningful and which are not.
KEYWORDS: Structural operational semantics, logic programming,
negative premises, negation as failure.