Modal logics for brane calculus
read more
Citations
Bisimulations in calculi modelling membranes
Process Calculi Abstractions for Biology
A proof theoretic view of spatial and temporal dependencies in biochemical systems
Process calculi for biological processes
A new deduction system for deciding validity in modal logic K
References
Communication and Concurrency
Separation logic: a logic for shared mutable data structures
Algebraic laws for nondeterminism and concurrency
Theories for the Global Ubiquitous Computer
Representation and simulation of biochemical processes using the pi-calculus process algebra.
Related Papers (5)
Frequently Asked Questions (6)
Q2. What have the authors stated for future works in "Modal logics for brane calculus" ?
The work presented in this paper is intended to be the basis for further developments, in many directions. This should be similar to the equivalences induced by Hennessy-Milner logic extended with spatial connectives ( for membranes ) and of Ambient Logic ( for systems ). Moreover, it would be interesting to extend the decidability result to a larger class of formulas. The authors plan to extend the model checker algorithm to formulas without quantifiers but with the guarantees operators ( i. e., the adjoints of compositions ), along the lines of [ 6 ].
Q3. What is the purpose of this paper?
Like Ambient Logic, their logic features spatial and temporal modalities, which are specific logical operators for expressing properties about the topology and the dynamic behaviour of nested systems.
Q4. What is the abstract representation of the membrane machine?
A process of this represents a system of nested membranes; the evolution of a process corresponds to membrane interactions (phagocytosis, endo/exocytosis, . . . ).
Q5. What is the purpose of the logical formalism?
such a logical formalism can be used for defining specifications of systems, i.e. requirements that a system must satisfy.
Q6. What is the meaning of the statement?
“If a macrophage is exposed to target cells that have been evenly coated with antibody, it ingests the coated cells.” [1, Chap.6, p.335]