SnS can be modally characterized

Hans Hüttel

doi:10.1016/0304-3975(90)90140-D

SnS can be modally characterized

Hans Hüttel^*

^*Kontaktforfatter

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

3 Citationer (Scopus)

Abstract

We show that a modal mu-calculus with label set {1,...,n} can define the Rabin recognizable tree languages up to an equivalence similar to the observational equivalence of Milner.

Originalsprog	Engelsk
Tidsskrift	Theoretical Computer Science
Vol/bind	74
Udgave nummer	2
Sider (fra-til)	239-248
Antal sider	10
ISSN	0304-3975
DOI	https://doi.org/10.1016/0304-3975(90)90140-D
Status	Udgivet - 1990
Udgivet eksternt	Ja

Adgang til dokumentet

10.1016/0304-3975(90)90140-D

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

http://www.scopus.com/inward/record.url?scp=0025471889&partnerID=8YFLogxK

Citationsformater

@article{9117803ed5484b52b5fbe08a960135e3,

title = "SnS can be modally characterized",

abstract = "We show that a modal mu-calculus with label set {1,...,n} can define the Rabin recognizable tree languages up to an equivalence similar to the observational equivalence of Milner.",

author = "Hans H{\"u}ttel",

year = "1990",

doi = "10.1016/0304-3975(90)90140-D",

language = "English",

volume = "74",

pages = "239--248",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "2",

}

TY - JOUR

T1 - SnS can be modally characterized

AU - Hüttel, Hans

PY - 1990

Y1 - 1990

N2 - We show that a modal mu-calculus with label set {1,...,n} can define the Rabin recognizable tree languages up to an equivalence similar to the observational equivalence of Milner.

AB - We show that a modal mu-calculus with label set {1,...,n} can define the Rabin recognizable tree languages up to an equivalence similar to the observational equivalence of Milner.

UR - http://www.scopus.com/inward/record.url?scp=0025471889&partnerID=8YFLogxK

U2 - 10.1016/0304-3975(90)90140-D

DO - 10.1016/0304-3975(90)90140-D

M3 - Journal article

AN - SCOPUS:0025471889

SN - 0304-3975

VL - 74

SP - 239

EP - 248

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 2

ER -

SnS can be modally characterized

Abstract

Adgang til dokumentet

AUB Link

Andre filer og links

Fingeraftryk

Citationsformater