Knowledge, Awareness, and Bisimulation | Publicación