Open maps, behavioural equivalences, and congruences 1

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Theoretical Computer Science
Vol/bind	190
Nummer	1
Sider (fra-til)	87-112
ISSN	0304-3975
DOI	https://doi.org/10.1016/S0304-3975(97)00085-6
Status	Udgivet - 1998

Adgang til dokumentet

@article{4d9ba820f16211dfa891000ea68e967b,

title = "Open maps, behavioural equivalences, and congruences 1",

author = "Allan Cheng and Mogens Nielsen",

note = "Also published in the BRICS Research Series as RS-96-2",

year = "1998",

doi = "10.1016/S0304-3975(97)00085-6",

language = "English",

volume = "190",

pages = "87--112",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier BV",

number = "1",

}

TY - JOUR

T1 - Open maps, behavioural equivalences, and congruences 1

AU - Cheng, Allan

AU - Nielsen, Mogens

N1 - Also published in the BRICS Research Series as RS-96-2

PY - 1998

Y1 - 1998

U2 - 10.1016/S0304-3975(97)00085-6

DO - 10.1016/S0304-3975(97)00085-6

M3 - Journal article

SN - 0304-3975

VL - 190

SP - 87

EP - 112

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 1

ER -