Operational Semantics and Rewriting Logic in Membrane Computing-Reference-Cited by-同舟云学术

Operational Semantics and Rewriting Logic in Membrane Computing

Published:2006-05 Issue:1 Volume:156 Page:57-78
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Andrei Oana,Lucanu Dorel,Ciobanu Gabriel

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference9 articles.

1. Executable Specifications of the P Systems;Andrei,2005

2. Andrei, O., G. Ciobanu and D. Lucanu, A Structural Operational Semantics of the P Systems, “Pre-Proceedings of the 6th International Workshop on Membrane Computing WMC6”, Vienna University of Technology (2005), 1–24

3. Bonchiş, C., C. Izbaşa, D. Petcu and G. Ciobanu, WebPS: A Web-based P system simulator, “Proceedings 3rd BWMC”, RGNC Report 01/2005, Sevilla University (2005), 63–72

4. Distributed Algorithms over Communicating Membrane Systems;Ciobanu;Biosystems,2003

5. Maude: Specification and Programming in Rewriting Logic;Clavel;Theoretical Computer Science,2002

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Rewriting logic bibliography by topic: 1990–2011;The Journal of Logic and Algebraic Programming;2012-10

2. A Temporal Logic for Mutual Mobile Membranes with Objects on Surface;Computation, Cooperation, and Life;2011

3. NATURE–INSPIRED INTELLIGENCE: A REVIEW OF SELECTED METHODS AND APPLICATIONS;International Journal on Artificial Intelligence Tools;2009-08

4. Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors;Electronic Notes in Theoretical Computer Science;2009-06

5. Defining and Executing P Systems with Structured Data in K;Membrane Computing;2009