Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Reasoning about knowledge
Anytime, anywhere: modal logics for mobile ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Handbook of Formal Languages
Dynamic Logic
Regulated Rewriting in Formal Language Theory
Regulated Rewriting in Formal Language Theory
Membrane Computing: An Introduction
Membrane Computing: An Introduction
A Spatial Logic for Concurrency (Part II)
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
A spatial logic for concurrency (part I)
Information and Computation - TACS 2001
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
Formal verification and testing based on p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Tuning p systems for solving the broadcasting problem
WMC'09 Proceedings of the 10th international conference on Membrane Computing
| Hi-index | 0.00 |
We propose a logic for specifying and proving properties of membrane systems. The main idea is to approach a membrane system by using the “point of view” of an external observer. Observers (as epistemic agents) accumulate their knowledge from the partial information they collect by observing subparts of the system and by applying logical reasoning to this information. We provide a formal framework to combine and interpret distributed knowledge in order to recover the complete knowledge about a membrane system. The proposed logic can be used to model biological situations where information concerning parts of the biological system is missing or incomplete.