Modal logic and process algebrade Maarten de RijkeMateriasFormal languagesModality (Logic)CongressesParallel processing (Electronic computers)Modality (logic)Parallel processing (electronic computers)Algebra, abstractModal analysisEdiciones (1)Modal logic and process algebra (1995)CSLI Publications · inglésMás obras de Maarten de RijkeSpecifying syntactic structuresAdvances in intensional logicDiamonds and defaults