Compositional semantics of spiking neural P systems

Journal of Logic and Algebraic Programming

Volumn 79, Issue 6, 2010, Pages 304-316

  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

Behavioural equivalence; Congruence; Spiking neural P systems; Structural Operational Semantics

Indexed keywords

COMPOSITIONAL SEMANTICS; LABELLED TRANSITION SYSTEMS; PROCESS ALGEBRAS; SPIKING NEURAL P SYSTEMS; STRUCTURAL OPERATIONAL SEMANTICS;

ALGEBRA;

SEMANTICS;

EID: 77955418794     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2010.03.011     Document Type: Article

References (21)

1. L. Aceto, W.J. Fokkink, and C. Verhoef Handbook of Process Algebra 2001 Elsevier Ch. Structural operational semantics, pp. 197-292
2. O. Andrei, G. Ciobanu, and D. Lucanu A rewriting logic framework for operational semantics of membrane systems Theor. Comput. Sci. 373 2007 163 181
3. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, and S. Tini Compositional semantics and behavioral equivalences for P systems Theor. Comput. Sci. 395 2008 77 100
4. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, and S. Tini A P systems flat form preserving step-by-step behaviour Fund. Inform. 87 2008 1 34
5. P. Bottoni, C. Martin-Víde, G. Pǎun, and G. Rozenberg Membrane systems with promoters/inhibitors Acta Inform. 38 2002 695 720
6. N. Busi Using well-structured transition systems to decide divergence for catalytic P systems Theor. Comput. Sci. 372 2007 125 135
7. N. Busi Causality in membrane systems Proceedings of the Eighth Workshop on Membrane Computing (WMC 2007) Lecture Notes in Computer Science vol. 4860 2007 Springer 169 171
8. M. Cavaliere, O.H. Ibarra, G. Pǎun, O. Egecioglu, M. Ionescu, and S. Woodworth Asynchronous spiking neural P systems Theor. Comput. Sci. 410 2009 2352 2364
9. H. Chen, M. Ionescu, T.-O. Ishdorj, A. Pǎun, G. Pǎun, and M.J. Pérez-Jiménez Spiking neural P systems with extended rules: universality and languages Nat. Comput. 7 2008 147 166
10. R. de Simone High level synchronization devices in Meije-SCCS Theor. Comput. Sci. 37 1985 245 267
11. R. Freund, and S. Verlan A formal framework for static (tissue) P systems Proceedings of the Eighth Workshop on Membrane Computing (WMC 2007) Lecture Notes in Computer Science vol. 4860 2007 Springer 271 284
12. M. Ionescu, G. Pǎun, and T. Yokomori Spiking neural P systems Fund. Inform. 71 2006 279 308
13. R. Keller Formal verification of parallel programs CACM 19 1976 371 384
14. C. Martín-Vide, J. Pazos, G. Pǎun, and A. Rodríguez-Patón Tissue P systems Theor. Comput. Sci. 296 2003 295 326
15. G. Pǎun Membrane Computing. An Introduction 2002 Springer
16. A. Pǎun, and G. Pǎun The power of communication: P systems with symport/antiport New Gener. Comput. 20 2002 295 305
17. G. Pǎun, and G. Rozenberg A guide to membrane computing Theor. Comput. Sci. 287 2002 73 100
18. G. Plotkin A structural approach to operational semantics J. Log. Algebr. Program. 60-61 2004 17 139
19. F. Vaandrager On the relationship between process algebra and input/output automata Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science (LICS'91) 1991 IEEE Press 387 398
20. R.J. van Glabbeek Full abstraction in structural operational semantics Proceedings of the Third International Conference on Algebraic Methodology and Software Technology (AMAST'93) 1993 Springer 77 84
21. C. Zandron, C. Ferretti, and G. Mauri NP-Complete problems using P systems with active membranes Proceedings of the Unconventional Models of Computation (UMC'2K) 2001 Springer-Verlag London 289 301