Modal logic and process algebra
Subtitle: a bisimulation perspective
By: edited by Alban Ponse, Maarten de Rijke & Yde Venema.
Contributors: Ponse, A. 1955-; Rijke, Maarten de.; Venema, Yde, 1963-
Series: CSLI lecture notes ;; no. 53
Publisher: CSLI Publications
Published: 1995
Place of publication: Stanford, Calif
Language: eng
Number of pages: 327
Subjects: Formal languages -- Congresses.; Modality (Logic) -- Congresses.; Parallel processing (Electronic computers) -- Congresses.
Notes: Includes bibliographical references and index.
Papers presented at a workshop called Three days of Bisimulation, which was held April 1994 at the Centre for Mathematics and Computer Sciences, Amsterdam.