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...

Descripción completa

Detalles Bibliográficos
Autor principal: Aman, Bogdan
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Ciobanu, Gabriel
Formato: Electronic Resource
Lenguaje:inglés
Publicado: Berlin, Heidelberg Springer 2011.
Colección:Natural Computing Series
Materias:
Acceso en línea:Available for University of the Philippines Diliman via SpringerLink. Click here to access