Rob J. van Glabbeek. The Meaning of Negative Premises in Transition System Specifications II. In Friedhelm Meyer auf der Heide, Burkhard Monien, editors, Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings. Volume 1099 of Lecture Notes in Computer Science, pages 502-513, Springer, 1996.
Abstract is missing.