TY  - BOOK
AU  - Ponse, Alban. et al Eds.
TI  - Modal Logic and Process Algebra: Bisimulation Perspective
SN  - 1 881526 96 8
CY  - USA
KW  - Formal Languages - Congresses
KW  - Modality (Logic) - Congresses
KW  - Parallel Processing (Electronic Computers) - Congresses
ER  -