Modal logic and process algebra : a bisimulation perspective / ed. Alban Ponse, Maarten de Rijke, Yde Venema

Modal logic and process algebra : a bisimulation perspective / ed. Alban Ponse, Maarten de Rijke, Yde Venema . - Stanford : CSLI Publications, cop. 1995 . - XIX, 327 p. 24 cm . - (CSLI lecture notes; 53)
1-881526-95-X (Encadernado)

510.643