A P systems flat form preserving step-by-step behaviour

Fundamenta Informaticae

Volumn 87, Issue 1, 2008, Pages 1-34

  Barbuti, Roberto ^a   Maggiolo Schettini, Andrea ^a   Milazzo, Paolo ^a   Tini, Simone ^b  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF INSUBRIA   (Italy)

Author keywords

Behavioral equivalence; Membrane computing; Normal form; P systems; Reactive system

Indexed keywords

BIOINFORMATICS; FLEXIBLE STRUCTURES; INFORMATION THEORY;

BEHAVIORAL EQUIVALENCE; MEMBRANE COMPUTING; NORMAL FORM; P SYSTEMS; REACTIVE SYSTEM;

SEMANTICS;

EID: 58149528213     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (15)

1. L. Aceto, W. J. Fokkink and C, Verhoef: Structural Operational Semantics. In: J.A. Bergstra, A. Ponse and S.A. Smolka (Eds.), Handbook of Process Algebra, Elsevier, Amsterdam, 2001,197-292.
2. O. Andrei, G. Ciobanu and D. Lucanu: A Rewriting Logic Framework for Operational Semantics of Membrane Systems. Theoret. Comp. Sci. 373, 2007,163-181.
3. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and S.Tini: Compositional Semantics and Behavioral Equivalences for P Systems. Theoret. Comput. Sci. 395, 2008, 77-100.
4. L. Bianco and V. Manca: Encoding-Decoding Transitional Systems for Classes of P Systems. Proc. Workshop on Membrane Computing (WMC 2005), Lecture Notes in Computer Science 3850, Springer, Berlin, 2006, 134-143.
5. L. Bianco, F. Fontana, G. Franco and V. Manca: P Systems for Biological Dynamics. Proc. Applications of Membrane Computing, Springer, Berlin, 2006, 83-128.
6. N. Busi: Using Well-structured Transition Systems to Decide Divergence for Catalytic P Systems. Theoret. Comput. Sci. 372, 2007, 125-135.
7. N. Busi: Causality in Membrane Systems. Proc. Workshop on Membrane Computing (WMC 2007), Lecture Notes in Computer Science 4860, Springer, Berlin, 2007, 160-171.
8. R. de Simone: High Level Synchronization Devices in Meije-SCCS. Theoret. Comput. Sci. 37, 1985,245-267.
9. R. Freund and S. Verlan: A Formal Framework for Static (Tissue) P Systems. Proc. Workshop on Membrane Computing (WMC 2007), Lecture Notes in Computer Science 4860, Springer, Berlin, 2007, 271-284.
10. D. Harel and A. Pnueli: On the Development of Reactive Systems. In: K.R. Apt (editor), Logic and Models of Concurrent Systems, NATO, ASI-13, Springer, New York, 1985,477-498.
11. R. Milner: Communication and Concurrency. Prentice-Hall, London, 1989.
12. th GI conference, Lecture Notes in Computer Science 104, Springer, Berlin, 1981, 167-183.
13. G. Pǎun: Membrane computing. An introduction, Springer, 2002.
14. I. Petre: A Normal Form for P-Systems. Bulletin of the EATCS 67 1999, 165-172.
15. G. Plotkin: A Structural Approach to Operational Semantics. J. Log. Algebr. Program. 60-61, 2004, 17-139.