Mobility in Process Calculi and Natural Computing

The design of formal calculi in which fundamental concepts underlying interactive systems can be described and studied has been a central theme of theoretical computer science in recent decades, while membrane computing, a rule-based formalism inspired by biological cells, is a more recent field tha...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Aman, Bogdan (Autor), Ciobanu, Gabriel (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Edición:1st ed. 2011.
Colección:Natural Computing Series,
Temas:
Computer science.
Artificial intelligence.
Bioinformatics.
Computational intelligence.
Theory of Computation.
Artificial Intelligence.
Computational and Systems Biology.
Computational Intelligence.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Chap. 1, Mobility in Process Calculi
  • Chap. 2, Mobility in Membrane Computing
  • Chap. 3, Encodings
  • References
  • Index.

Ejemplares similares