Bisimulation

Modal logic and process algebra: a bisimulation perspective

Alban Ponse,Maarten de Rijke,Yde Venema