Modal logic and process algebra : - Ponse, A. (Alban) 1955-; Rijke, Maarten de; Venema, Yde 1963- (CSLI lecture notes ;, 1995)