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

Nyckelord

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

Publikations- och innehållstyp

vet (ämneskategori)

art (ämneskategori)