Abstract | ||
---|---|---|
Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and complete with respect to some behavioural equivalence. To achieve this goal, we propose to transform the systems into a normal form with an equivalent semantics. As a first step, we introduce axioms which allow the transformation of membrane structures into flat membranes. We leave as future work the further step that leads to the wanted normal form. |
Year | Venue | Keywords |
---|---|---|
2008 | Fundam. Inform. | behavioural equivalence,preserving step-by-step behaviour,future work,compositional operational semantics,transition p systems,flat membrane,membrane structure,normal form,p systems flat form,equivalent semantics,p system,reactive system,normal forms,membrane computing |
Field | DocType | Volume |
Discrete mathematics,Operational semantics,Combinatorics,Axiom,A-normal form,Equivalence (measure theory),Reactive system,Membrane computing,Mathematics,Semantics | Journal | 87 |
Issue | ISSN | Citations |
1 | 0169-2968 | 15 |
PageRank | References | Authors |
0.87 | 9 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Roberto Barbuti | 1 | 866 | 81.03 |
Andrea Maggiolo-Schettini | 2 | 789 | 89.11 |
Paolo Milazzo | 3 | 328 | 21.14 |
Simone Tini | 4 | 306 | 33.19 |