Dr. Bogdan Aman graduated in mathematics from the Alexandru Ioan Cuza University of Iaşi, Romania and he received his PhD under the supervision of Prof. Gabriel Ciobanu at the Romanian Academy (Iaşi), Institute of Computer Science. His main research fields are membrane computing, computational modelling for systems biology, and process algebra. Prof. Gabriel Ciobanu has wide-ranging interests in computing including distributed systems, the theory of programming and computational aspects in biology. He has edited around 10 volumes and wrote over 100 papers on these topics; and he has received public recognition for his research, including a Japan Society for the Promotion of Science fellowship in 1995, the Grigore Moisil Award of the Romanian Academy of Sciences in 2000, the Octav Mayer Award of the Romanian Academy (Iaşi) in 2004, and a Royal Society of London international project award in 2009. He is the Editor-in-Chief of the Scientific Annals of Computer Science, and a member of many journal editorial boards and international conference program committees.

From the reviews: "The book is very well written and structured. It provides enough background so that it can be read not only by experts but also by advanced undergraduate and graduate students. ... syntax of each formalism is clearly introduced and their operational semantics are unambiguously defined. ... Throughout the book, examples with illustrative figures are used to introduce the key definitions and concepts. Exercises are also provided that can guide the reader to more advanced analysis." (Mario Jesus Perez-Jimenez, Mathematical Reviews, March, 2014)

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

Dr. Bogdan Aman graduated in mathematics from the Alexandru Ioan Cuza University of Iaşi, Romania and he received his PhD under the supervision of Prof. Gabriel Ciobanu at the Romanian Academy (Iaşi), Institute of Computer Science. His main research fields are membrane computing, computational modelling for systems biology, and process algebra. Prof. Gabriel Ciobanu has wide-ranging interests in computing including distributed systems, the theory of programming and computational aspects in biology. He has edited around 10 volumes and wrote over 100 papers on these topics; and he has received public recognition for his research, including a Japan Society for the Promotion of Science fellowship in 1995, the Grigore Moisil Award of the Romanian Academy of Sciences in 2000, the Octav Mayer Award of the Romanian Academy (Iaşi) in 2004, and a Royal Society of London international project award in 2009. He is the Editor-in-Chief of the Scientific Annals of Computer Science, and a member of many journal editorial boards and international conference program committees.

From the reviews: "The book is very well written and structured. It provides enough background so that it can be read not only by experts but also by advanced undergraduate and graduate students. ... syntax of each formalism is clearly introduced and their operational semantics are unambiguously defined. ... Throughout the book, examples with illustrative figures are used to introduce the key definitions and concepts. Exercises are also provided that can guide the reader to more advanced analysis." (Mario Jesus Perez-Jimenez, Mathematical Reviews, March, 2014)

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

Dr. Bogdan Aman graduated in mathematics from the Alexandru Ioan Cuza University of Iaşi, Romania and he received his PhD under the supervision of Prof. Gabriel Ciobanu at the Romanian Academy (Iaşi), Institute of Computer Science. His main research fields are membrane computing, computational modelling for systems biology, and process algebra. Prof. Gabriel Ciobanu has wide-ranging interests in computing including distributed systems, the theory of programming and computational aspects in biology. He has edited around 10 volumes and wrote over 100 papers on these topics; and he has received public recognition for his research, including a Japan Society for the Promotion of Science fellowship in 1995, the Grigore Moisil Award of the Romanian Academy of Sciences in 2000, the Octav Mayer Award of the Romanian Academy (Iaşi) in 2004, and a Royal Society of London international project award in 2009. He is the Editor-in-Chief of the Scientific Annals of Computer Science, and a member of many journal editorial boards and international conference program committees.

From the reviews: "The book is very well written and structured. It provides enough background so that it can be read not only by experts but also by advanced undergraduate and graduate students. ... syntax of each formalism is clearly introduced and their operational semantics are unambiguously defined. ... Throughout the book, examples with illustrative figures are used to introduce the key definitions and concepts. Exercises are also provided that can guide the reader to more advanced analysis." (Mario Jesus Perez-Jimenez, Mathematical Reviews, March, 2014)

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