Modal logic and process algebra
a bisimulation perspective
Ponse, A. (Alban)
Rijke, Maarten de.
Venema, Yde.
text
Stanford, Calif
CSLI Publications
c1995
monographic
xix, 327 p. ; 23 cm.
edited by Alban Ponse, Maarten de Rijke & Yde Venema.
Papers presented at a workshop called Three days of Bisimulation, which was held April 1994 at the Centre for Mathematics and Computer Sciences, Amsterdam.
Includes index.
Includes bibliographical references.
Formal languages
Congresses
Modality (Logic)
Congresses
Parallel processing (Electronic computers)
Congresses
CSLI lecture notes ; no. 53
1881526968 (pbk.)
20230123133437.0