01144nam a2200301 a 4500 1881526968 (pbk.) MAIN QA267.3 MOD 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 bibliographical references. Includes index. Formal languages Congresses. Modality (Logic) Congresses. Parallel processing (Electronic computers) Congresses. Ponse, A. (Alban) Rijke, Maarten de. Venema, Yde. .b10011985 07-05-12 17-04-03 20230123133437.0 NUST BOOKS QA267.3 MOD 148688 148688 2023-01-23 00:00:00 0 QA267.3 MOD 92003013903 80.00 2023-01-23 BOOKS 0 LCC 0 0 NFIC 0 MAIN MAIN GEN 2023-01-23 80.00