Membrane Computing: An Introduction
Membrane Computing: An Introduction
An introduction to event structures
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
The Oxford Handbook of Membrane Computing
The Oxford Handbook of Membrane Computing
WMC'07 Proceedings of the 8th international conference on Membrane computing
Events, causality, and concurrency in membrane systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
A formal framework for static (tissue) P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Flattening the transition P systems with dissolution
CMC'10 Proceedings of the 11th international conference on Membrane computing
Towards a petri net semantics for membrane systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
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 |
We define and study specific and general causality in terms of multisets of objects and of multisets of rules. We relate the two notions of causality, and provide characterizations for each of them. We give an inductive method of obtaining the general causes of a multiset of objects, and use the general causes of a multiset v to find all the multisets u from which v can be obtained in a single evolution step.