"Modal logic and process algebra: a bisimulation perspective" - читать интересную книгу автора (Alban Ponse, Maarten de Rijke, Yde Venema)