Language preorder as a precongruence

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

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
Volume243
Issue number1-2
DOIs
Publication statusPublished - 28 Jul 2000

Fingerprint

Preorder
Bisimulation
Syntactics
Predicate
Congruence
Equivalence
Requirements
Language
Syntax

Keywords

  • Language preorder
  • Precongruence
  • Predicates
  • Tyft format

Cite this

@article{2fddb05c0c264894a17f534e7b556d9a,
title = "Language preorder as a precongruence",
abstract = "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.",
keywords = "Language preorder, Precongruence, Predicates, Tyft format",
author = "Wan Fokkink",
year = "2000",
month = "7",
day = "28",
doi = "10.1016/S0304-3975(98)00267-9",
language = "English",
volume = "243",
pages = "391--408",
journal = "Theoretical Computer Science",
issn = "0304-3975",
publisher = "Elsevier",
number = "1-2",

}

Language preorder as a precongruence. / Fokkink, Wan.

In: Theoretical Computer Science, Vol. 243, No. 1-2, 28.07.2000, p. 391-408.

Research output: Contribution to JournalArticleAcademicpeer-review

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

VL - 243

SP - 391

EP - 408

JO - Theoretical Computer Science

JF - Theoretical Computer Science

SN - 0304-3975

IS - 1-2

ER -