Using the Formal Framework for P Systems

Abstract : In this article we focus on the model called the formal framework for P systems. This model provides a descriptional language powerful enough to represent in a simple way, via a strong bisimulation, most of the variants of P systems. The article presents a series of concrete examples of the application of the formal framework in order to understand, extend, compare and explain different models of P systems leading to new research ideas and open problems.
Type de document :
Communication dans un congrès
Artiom Alhazov and Svetlana Cojocaru and Marian Gheorghe and Yurii Rogozhin and Grzegorz Rozenberg and Arto Salomaa. CMC 1414th International Conference Membrane Computing ,, Aug 2013, Chisinau, Moldova. Springer, Lecture Notes in Computer Science, 8340, pp.56-79, 2013, Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01352297
Contributeur : Serghei Verlan <>
Soumis le : vendredi 10 mars 2017 - 22:14:17
Dernière modification le : mardi 3 avril 2018 - 17:04:01
Document(s) archivé(s) le : dimanche 11 juin 2017 - 17:19:54

Fichier

cmc14invit.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Copyright (Tous droits réservés)

Identifiants

  • HAL Id : hal-01352297, version 1

Collections

Citation

Sergey Verlan. Using the Formal Framework for P Systems. Artiom Alhazov and Svetlana Cojocaru and Marian Gheorghe and Yurii Rogozhin and Grzegorz Rozenberg and Arto Salomaa. CMC 1414th International Conference Membrane Computing ,, Aug 2013, Chisinau, Moldova. Springer, Lecture Notes in Computer Science, 8340, pp.56-79, 2013, Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers. 〈hal-01352297〉

Partager

Métriques

Consultations de la notice

55

Téléchargements de fichiers

20