Neighbourhood Contingency Bisimulation

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54069-5_5 ◽

2016 ◽

pp. 48-63 ◽

Author(s):

Zeinab Bakhtiari ◽

Hans van Ditmarsch ◽

Helle Hvid Hansen

Download Full-text