TY - JOUR
T1 - Language preorder as a precongruence
AU - Fokkink, Wan
PY - 2000/7/28
Y1 - 2000/7/28
N2 - 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.
AB - 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.
KW - Language preorder
KW - Precongruence
KW - Predicates
KW - Tyft format
UR - http://www.scopus.com/inward/record.url?scp=0038017263&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0038017263&partnerID=8YFLogxK
U2 - 10.1016/S0304-3975(98)00267-9
DO - 10.1016/S0304-3975(98)00267-9
M3 - Article
AN - SCOPUS:0038017263
SN - 0304-3975
VL - 243
SP - 391
EP - 408
JO - Theoretical Computer Science
JF - Theoretical Computer Science
IS - 1-2
ER -