"You just get so much flavour from the bones!" Hence why Rick has taken the decision that, if you order crab at POTL
, it'll come whole, not dressed.
1981], CTL [Emerson and Srinivasan 1989], [CTL.sup.*] [Emerson and Halpern 1983], and POTL [Pinter and Wolper 1984] to the study of the firing sequences in place/transition nets.
* [CTL.sup.*], CTL, and POTL temporal logic notations, which we employ as the semantic basis for [HTL.sup.*] and HTL; and
We have not extended the basic power of temporal logic languages over that of [CTL.sup.*] and POTL, but we have defined specific temporal operators for more naturally expressing the browsing properties of hyperdocuments.
Because of the backward path operators, HTL turns out to be syntactically equivalent to POTL of Pinter and Wolper  rather than to CTL.