The Meaning of Negative Premises in Transition System Specifications II.

Rob J. van Glabbeek

Browse the full ICALP paper archive.