The meaning of negative premises in transition system specifications II (0)

by Robert Jan van Glabbeek
Venue:Journal of Logic and Algebraic Programming (JLAP), 60-61:229–258, 2004. M.R. Mousavi 45