Mobility in process calculi and natural computing

The design of formal calculi in which fundamental concepts underlying interactive systems can be described and studied has been a central theme of theoretical computer science in recent decades, while membrane computing, a rule-based formalism inspired by biological cells, is a more recent field tha...

Full description

Bibliographic Details
Main Author: Aman, Bogdan
Corporate Author: SpringerLink (Online service)
Other Authors: Ciobanu, Gabriel
Format: Electronic Resource
Language:English
Published: Berlin, Heidelberg Springer 2011.
Series:Natural Computing Series
Subjects:
Online Access:Available for University of the Philippines Diliman via SpringerLink. Click here to access