Report Number: CS-TN-95-16
Institution: Stanford University, Department of Computer Science
Title: The Meaning of Negative Premises in Transition System Specifications II
Author: Glabbeek, R.J. van
Date: February 1995
Abstract: 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.
http://i.stanford.edu/pub/cstr/reports/cs/tn/95/16/CS-TN-95-16.pdf