@inproceedings{e6d0aef8a25a4e8a8694b2dde6eb9f7e,
title = "Decidability of modular logics for concurrency",
abstract = "The modular logics we approach in this paper are logics for concurrent systems that reflect both behavioral and structural properties of systems. They combine dynamic modalities that express behavioural properties of a system with polyadic modalities that join properties of subsystems. Spatial and Separation Logics are examples of modular logics. Being the complex algebraic-coalgebraic semantics, these logics have interesting decidability properties. In this paper we provide a taxonomy of the decision problems for a class of modular logics with semantics based on CCS processes.",
keywords = "model check, modal logic, parallel operator, operational semantic, guarantee operator",
author = "Radu Mardare",
note = "8th International Ershov Informatics Conference on Perspectives of System Informatics, PSI 2011",
year = "2012",
doi = "10.1007/978-3-642-29709-0\_24",
language = "English",
isbn = "978-3-642-29708-3",
volume = "7162",
series = "Lecture Notes in Computer Science",
pages = "274–288",
editor = "E. Clarke and I. Virbitskaite and A. Voronkov",
booktitle = "Perspectives of Systems Informatics. PSI 2011",
}