Bisimulation for Neighbourhood Structures

H.H. Hansen; C. Kupke; E. Pacuit

Bisimulation for Neighbourhood Structures

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

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	279-293
Journal	Lecture Notes in Computer Science
Volume	4624
Publication status	Published - 2007

Bibliographical note

HanKupPac:NBis-CALCO07 Invited to special issue of Logical Methods in Computer Science
Proceedings title: Proceedings of the 2nd Conference on Algebra and Coalgebra in Computer Science (CALCO 2007). Bergen, Norway.
Publisher: Springer
Editors: T. Mossakowski, M. Haveraan, U. Montanari

Persistent URL (handle)

Copy link address

Cite this

@article{d1ce2def16934006817f1397c9330191,

title = "Bisimulation for Neighbourhood Structures",

author = "H.H. Hansen and C. Kupke and E. Pacuit",

note = "HanKupPac:NBis-CALCO07 Invited to special issue of Logical Methods in Computer Science Proceedings title: Proceedings of the 2nd Conference on Algebra and Coalgebra in Computer Science (CALCO 2007). Bergen, Norway. Publisher: Springer Editors: T. Mossakowski, M. Haveraan, U. Montanari",

year = "2007",

language = "English",

volume = "4624",

pages = "279--293",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - Bisimulation for Neighbourhood Structures

AU - Hansen, H.H.

AU - Kupke, C.

AU - Pacuit, E.

N1 - HanKupPac:NBis-CALCO07 Invited to special issue of Logical Methods in Computer Science Proceedings title: Proceedings of the 2nd Conference on Algebra and Coalgebra in Computer Science (CALCO 2007). Bergen, Norway. Publisher: Springer Editors: T. Mossakowski, M. Haveraan, U. Montanari

PY - 2007

Y1 - 2007

M3 - Article

SN - 0302-9743

VL - 4624

SP - 279

EP - 293

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -