Mobility in Process Calculi and Natural Computing

• Main Authors: Aman, Bogdan (Author), Ciobanu, Gabriel (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
• Series: Natural Computing Series,
• Subjects: Computer science.; Computers.; Bioinformatics.; Systems biology.; Computational intelligence.; Computer Science.; Theory of Computation.; Computing Methodologies.; Computational Biology/Bioinformatics.; Computational Intelligence.; Systems Biology.

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...

Table of Contents:

• Chap. 1, Mobility in Process Calculi
• Chap. 2, Mobility in Membrane Computing
• Chap. 3, Encodings
• References
• Index.