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