Neighbourhood Structures: Bisimilarity and Basic Model Theory
scientific article