TY - BOOK ID - 136143811 TI - Modal logic and process algebra : a bisimulation perspective AU - De Rijke, Maarten AU - Ponse, Alban AU - Venema, Yde PY - 1995 SN - 1881526968 PB - Stanford (Calif.): CSLI DB - UniCat KW - Formal languages KW - Modality (Logic) KW - Parallel processing (Electronic computers) KW - Congresses KW - Congresses KW - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:136143811 AB - ER -