Language preorder as a precongruence
Groote and Vaandrager introduced the tyft format, which is a congruence format for strong bisimulation equivalence. This article proposes additional syntactic requirements on the tyft format, extended with predicates, to obtain a precongruence format for language preorder. (C) 2000 Elsevier Science B.V. All rights reserved.
language preorder precongruence tyft format predicates