Highly Influential

20 Excerpts

- Published 2008

Membrane systems represent a new model of computation involving parallel application of rules, communication between membranes and dissolving. Since rewriting logic is a general framework for concurrent systems, we connect it with the operational semantics of membrane systems. We use a new representation given by register membranes which are able to express the evolution involving rules with promoters and inhibitors. The evolution is expressed in terms of both dynamic and static allocation of resources to rules. It is proved that these semantics are equivalent. Dynamic allocation allows translation of the maximal parallel application of membrane rules into sequential rewritings. An implementation in Maude is provided.

Showing 1-10 of 26 references

Highly Influential

20 Excerpts

Highly Influential

14 Excerpts

Highly Influential

20 Excerpts

Highly Influential

20 Excerpts

Highly Influential

10 Excerpts

Highly Influential

10 Excerpts

Highly Influential

11 Excerpts

Highly Influential

8 Excerpts

Highly Influential

10 Excerpts

Highly Influential

10 Excerpts

@inproceedings{Agrigoroaiei2008ElectronicNI,
title={Electronic Notes in Theoretical Computer Science 7 th International Workshop on Rewriting Logic and its Applications},
author={Oana Agrigoroaiei and Gabriel Ciobanu and Alberto Verdejo},
year={2008}
}