Learn More
In comparative concurrency semantics, one usually distinguishes between <italic>linear time</italic> and <italic>branching time</italic> semantic equivalences. Milner's notion of <italic>observatin equivalence</italic> is often mentioned as the standard example of a branching time equivalence. In this paper we investigate whether observation equivalence(More)
In this paper we discuss term-rewriting systems with ru/e prioriries, which simply is a partial ordering on the rules. The procedural meaning of such an ordering then is, that the application of a rule of lower priority is allowed only if no rule of higher priority is applicable. The semantics of such a system is discussed. It turns out that the class of(More)
  • 1