Modal logic and process algebra : a bisimulation perspective
edited by Alban Ponse, Maarten de Rijke & Yde Venema.
Stanford, Calif. : CSLI Publications, ©1995.
xix, 327 págs. : ilustraciones ; 24 cm.
Serie: CSLI lecture notes ; no. 53
ISBN: 188152695X, 1881526968 (pbk.)
Papers presented at a workshop called Three days of Bisimulation, which was held April 1994 at the Centre for Mathematics and Computer Sciences, Amsterdam.
Incluye referencias bibliográficas e índice.