- ホーム
- > 洋書
- > 英文書
- > Computer / Languages
Full 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.



