Bisimulation for Neighbourhood Structures

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

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)279-293
JournalLecture Notes in Computer Science
Publication statusPublished - 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

Cite this