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