Keyword:bisimilarity

Publications
Cautious Distributed Belief John Lindqvist, Fernando R. Velázquez-Quesada and Thomas Ågotnes EasyChair Preprint 8493