Language preorder as a precongruence

Wan Fokkink*

*Corresponding author for this work

Research output: Contribution to JournalArticleAcademicpeer-review


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.

Original languageEnglish
Pages (from-to)391-408
Number of pages18
JournalTheoretical Computer Science
Issue number1-2
Publication statusPublished - 28 Jul 2000


  • Language preorder
  • Precongruence
  • Predicates
  • Tyft format

Fingerprint Dive into the research topics of 'Language preorder as a precongruence'. Together they form a unique fingerprint.

Cite this