We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
REWRITING LOGIC-BASED SEMANTICS OF P SYSTEMS AND THE MAXIMAL CONCURRENCY.
- Authors
Lucanu, Dorel
- Abstract
We use distributed labeled transition systems and their modal logics in order to compare the concurrency degrees of the P systems and their encoding as rewrite theories in rewriting logic. We show that the maximal concurrency given by the maximal parallel rewriting semantics of the P systems can be expressed in rewriting logic only by interleaving semantics. The maximal concurrency of the membrane interactions is only partially captured.
- Subjects
REWRITING systems (Computer science); SEMANTIC network analysis; DESCRIPTION logics; CONCURRENT engineering; ARTIFICIAL membranes
- Publication
International Journal of Foundations of Computer Science, 2009, Vol 20, Issue 3, p395
- ISSN
0129-0541
- Publication type
Article
- DOI
10.1142/S0129054109006644