Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Modal logics for mobile processes
Selected papers of the 3rd workshop on Concurrency and compositionality
Model checking mobile processes
Information and Computation
Associativity does not imply undecidability without the axiom of modal distribution
Arrow logic and multi-modal logic
Anytime, anywhere: modal logics for mobile ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Extensionality and intensionality of the ambient logics
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modal and temporal properties of processes
Modal and temporal properties of processes
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Handbook of Process Algebra
Computability and Complexity Results for a Spatial Assertion Language for Data Structures
FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science
The Decidability of Model Checking Mobile Ambients
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
A spatial logic for concurrency (part I)
Information and Computation - TACS 2001
Deciding validity in a spatial logic for trees
Journal of Functional Programming
A Complete Axiomatic System for a Process-Based Spatial Logic
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
A Logical Approach to Security in the Context of Ambient Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Observing distributed computation: a dynamic-epistemic approach
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
The Measurable Space of Stochastic Processes
QEST '10 Proceedings of the 2010 Seventh International Conference on the Quantitative Evaluation of Systems
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
Decidable extensions of hennessy-milner logic
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
| Hi-index | 0.00 |
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.