The aim of the paper is to give a compositional semantics in the style of the Structural Operational Semantics (SOS) and to study behavioral equivalence notions for P Systems. Firstly, we consider P Systems with maximal parallelism and without priorities. We define a process algebra, called P Algebra, whose terms model membranes, we equip the algebra with a Labeled Transition System (LTS) obtained through SOS transition rules, and we study how some equivalence notions defined over the LTS model apply in our case. Then, we consider P Systems with priorities and extend the introduced framework to deal with them. We prove that our compositional semantics reflects correctly maximal parallelism and priorities.
|Data di pubblicazione:||2008|
|Titolo:||Compositional semantics and behavioral equivalences for P Systems|
|Rivista:||THEORETICAL COMPUTER SCIENCE|
|Digital Object Identifier (DOI):||10.1016/j.tcs.2008.01.028|
|Codice identificativo ISI:||WOS:000255370600007|
|Codice identificativo Scopus:||2-s2.0-41149164080|
|Appare nelle tipologie:||Articolo su Rivista|