Keyword:bisimilarity

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