Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
431325 | The Journal of Logic and Algebraic Programming | 2010 | 9 Pages |
Abstract
We introduce two event structures for basic membrane systems with one membrane. In the rule-based structure an event is given by a single rule application, while in the object-based structure an event is given by the occurrence of a type of resource (in a certain quantity). Both event structures are introduced without the use of fresh names to distinguish between similar events. We discuss causality by using the order relation on the object-based event structure as well as a dependence relation on the rules of the membrane system.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics