The Meaning of Negative Premises in Transition System Specifications II

  • Authors:

  • R. J. Glabbeek

  • Affiliations:

  • -

  • Venue:
  • The Meaning of Negative Premises in Transition System Specifications II
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

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.