Modal logic and process algebra
Maarten de Rijke
Details
OL Work ID
OL19611535W
Subjects
Formal languages
Modality (Logic)
Congresses
Parallel processing (Electronic computers)
Modality (logic)
Parallel processing (electronic computers)
Algebra, abstract
Modal analysis
Find this book
Open Library