Springer
T. Mossakowski , U. Montanari
Lecture Notes in Computer Science
Conference on Algebra and Coalgebra in Computer Science
Computer Security

Hansen, H.H, Kupke, C.A, & Pacuit, E. (2007). Bisimulation for Neighbourhood Structures. In T Mossakowski & U Montanari (Eds.), Proceedings of the 2nd Conference on Algebra and Coalgebra in Computer Science (CALCO 2007) (pp. 279–293). Springer.