Bogdan Aman, "Mobility in Process Calculi and Natural Computing"
English | ISBN: 3642248667, 3642437117 | 2011 | 224 pages | PDF | 2 MB
English | ISBN: 3642248667, 3642437117 | 2011 | 224 pages | PDF | 2 MB
This volume refers to the formal description of mobility in computer science, using p-calculus, ambient calculus, bioambients, brane calculi, and systems of mobile membranes. Concepts are supported by examples and exercises, which makes it suitable for relevant courses.