BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TN-95-16
       ENTRY:: March 13, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: The Meaning of Negative Premises in Transition System
               Specifications II
        TYPE:: Technical Note
      AUTHOR:: Glabbeek, R.J. van
        DATE:: February 1995
       PAGES:: 24
    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.
       NOTES:: [Adminitrivia V1/Prg/19950313]
         END:: STAN//CS-TN-95-16