Neighbourhood Structures: Bisimilarity and Basic Model Theory

H.H. Hansen, C. Kupke, E. Pacuit

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
JournalLogical Methods in Computer Science
Volume5
Issue number2
DOIs
Publication statusPublished - 2009

Cite this

Hansen, H.H. ; Kupke, C. ; Pacuit, E. / Neighbourhood Structures: Bisimilarity and Basic Model Theory. In: Logical Methods in Computer Science. 2009 ; Vol. 5, No. 2.
@article{001f1f801eb744108dc69f2f87bfa381,
title = "Neighbourhood Structures: Bisimilarity and Basic Model Theory",
author = "H.H. Hansen and C. Kupke and E. Pacuit",
year = "2009",
doi = "10.2168/LMCS-5(2:2)2009",
language = "English",
volume = "5",
journal = "Logical Methods in Computer Science",
issn = "1860-5974",
publisher = "Technischen Universitat Braunschweig",
number = "2",

}

Neighbourhood Structures: Bisimilarity and Basic Model Theory. / Hansen, H.H.; Kupke, C.; Pacuit, E.

In: Logical Methods in Computer Science, Vol. 5, No. 2, 2009.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - Neighbourhood Structures: Bisimilarity and Basic Model Theory

AU - Hansen, H.H.

AU - Kupke, C.

AU - Pacuit, E.

PY - 2009

Y1 - 2009

U2 - 10.2168/LMCS-5(2:2)2009

DO - 10.2168/LMCS-5(2:2)2009

M3 - Article

VL - 5

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

SN - 1860-5974

IS - 2

ER -