The meaning of negative premises in transition system specifications

• We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in order to be meaningful, that is, to unequivocally define a transition relat

Keyword

bisimulation; congruence; conservative extension of TSSs; logic programming; negative premises; ntyft/ntyxt-format; priorities and abstraction; process algebra; OPERATIONAL SEMANTICS; BISIMULATION

Publication and Content Type

vet (subject category)

art (subject category)