Mobility In Process Calculi And Natural Computing
by Bogdan Aman /
2011 / English / PDF, MOBI
2.1 MB Download
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.