Mobility in Process Calculi and Natural Computing

• Κύριοι συγγραφείς: Aman, Bogdan (Συγγραφέας), Ciobanu, Gabriel (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
• Σειρά: Natural Computing Series,
• Θέματα: 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...

Πίνακας περιεχομένων:

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