Title: Modal logic and process algebra
Subjects: Formal languages, Modality (Logic), Congresses, Parallel processing (Electronic computers), Modality (logic), Parallel processing (electronic computers), Algebra, abstract, Modal analysis