The meaning of negative premises in transition system specifications (extended abstract)
Presented at the Automata, Languages and Programming , Madrid
|Semantics (msc 68Q55), Logic in computer science (msc 03B70), Specification and verification (program logics, model checking, etc.) (msc 68Q60)|
|Lecture Notes in Computer Science|
|Automata, Languages and Programming|
Bol, R.N, & Groote, J.F. (1991). The meaning of negative premises in transition system specifications (extended abstract). In Proceedings of Automata, Languages and Programming 0000 (1991) (pp. 481–494). Springer.