Mobility in Process Calculi and Natural Computing |
|
| Author:
| Aman, Bogdan
Ciobanu, Gabriel |
| Series title: | Natural Computing Ser. |
| ISBN: | 978-3-642-43711-3 |
| Publication Date: | Jan 2014 |
| Publisher: | Springer
|
| Book Format: | Paperback |
| List Price: | AUD $288.95 |
Book Description:
|
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.
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.