A calculus of mobile processes, II
Information and Computation
Non-interleaving semantics for mobile processes
Theoretical Computer Science
Journal of Computer and System Sciences
Computing with cells and atoms: an introduction to quantum, DNA and membrane computing
Computing with cells and atoms: an introduction to quantum, DNA and membrane computing
Communication and Concurrency
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Proof Systems for Cause Based Equivalences
MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
A Petri Net Semantics for pi-Calculus
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
Partial orderings descriptions and observations of nondeterministic concurrent processes
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Causality for Mobile Processes
ICALP '95 Proceedings of the 22nd International Colloquium on Automata, Languages and Programming
Modeling and analysis of biological processes by mem(brane) calculi and systems
Proceedings of the 38th conference on Winter simulation
Using well-structured transition systems to decide divergence for catalytic P systems
Theoretical Computer Science
A rewriting logic framework for operational semantics of membrane systems
Theoretical Computer Science
Structural operational semantics of p systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Beta binders for biological interactions
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Operational patterns in beta-binders
Transactions on Computational Systems Biology I
Compositional semantics and behavioral equivalences for P Systems
Theoretical Computer Science
A P Systems Flat Form Preserving Step-by-step Behaviour
Fundamenta Informaticae
Events, causality, and concurrency in membrane systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Simultaneity in event structures
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
Modeling dependencies and simultaneity in membrane system computations
Theoretical Computer Science
Quantitative causality in membrane systems
CMC'11 Proceedings of the 12th international conference on Membrane Computing
CMC'11 Proceedings of the 12th international conference on Membrane Computing
A P Systems Flat Form Preserving Step-by-step Behaviour
Fundamenta Informaticae
An analysis of correlative and static causality in p systems
CMC'12 Proceedings of the 13th international conference on Membrane Computing
| Hi-index | 0.00 |
P systems are a biologically inspired model introduced by Gheorghe Paun with the aim of representing the structure and the functioning of the cell. P systems are usually equipped with the maximal parallelism semantics; however, since their introduction, some alternative semantics have been proposed and investigated. We propose a semantics that describes the causal dependencies occurring between the reactions of a P system. We investigate the basic properties that are satisfied by such a semantics. The notion of causality turns out to be quite relevant for biological systems, as it permits to point out which events occurring in a biological pathway are necessary for another event to happen.