Modal logic and process algebra : a bisimulation perspective /
Modal logic and process algebra : a bisimulation perspective /
edited by Alban Ponse, Maarten de Rijke & Yde Venema.
- Stanford, Calif. : CSLI Publications, c1995.
- xix, 327 p. ; 23 cm.
- CSLI lecture notes ; no. 53 .
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.
1881526968 (pbk.)
Formal languages--Congresses.
Modality (Logic)--Congresses.
Parallel processing (Electronic computers)--Congresses.
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.
1881526968 (pbk.)
Formal languages--Congresses.
Modality (Logic)--Congresses.
Parallel processing (Electronic computers)--Congresses.