Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions

Authors:
Dorel Lucanu
Affiliations:
Faculty of Computer Science, Alexandru Ioan Cuza University, Iaşi, Romania
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 11
Cited 2

Algebraic laws for nondeterminism and concurrency

Journal of the ACM (JACM)
Conditional rewriting logic as a unified model of concurrency

Selected papers of the Second Workshop on Concurrency and compositionality
Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations

Theoretical Computer Science
Term rewriting and all that

Term rewriting and all that
Specification and proof in membership equational logic

Theoretical Computer Science - Trees in algebra and programming
Membrane Computing: An Introduction

Membrane Computing: An Introduction
Membership algebra as a logical framework for equational specification

WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Semantic foundations for generalized rewrite theories

Theoretical Computer Science
A rewriting logic framework for operational semantics of membrane systems

Theoretical Computer Science
Expressing control mechanisms of membranes by rewriting strategies

WMC'06 Proceedings of the 7th international conference on Membrane Computing

A formal library of set relations and its application to synchronous languages

Theoretical Computer Science
Simulation and verification of synchronous set relations in rewriting logic

SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

We use a modal logic in order to show that the strategy-based rewrite semantics for membrane systems fully preserves the maximal concurrency of evolution rules actions, whereas the maximal concurrency of communication actions and structural actions is partially preserved. Consequently, the strategy-based rewrite semantics describes more faithfully the behavior of the membrane systems than the rewrite logic-based semantics. It is known that the rewrite logic-based semantics implements the maximal concurrency of the evolution rules in membrane systems only by interleaving concurrency. The concurrency degrees of the communication and structural actions are the same for the two rewrite-based semantics.