TY  - BOOK
AU  - Ponse,A.
AU  - Rijke,Maarten de
AU  - Venema,Yde
TI  - Modal logic and process algebra: a bisimulation perspective 
SN  - 1881526968 (pbk.)
PY  - 1995///
CY  - Stanford, Calif.
PB  - CSLI Publications
KW  - Formal languages
KW  - Congresses
KW  - Modality (Logic)
KW  - Parallel processing (Electronic computers)
N1  - 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
ER  -