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

ver descrição completa

Detalhes bibliográficos
Autor principal: Aman, Bogdan
Autor Corporativo: SpringerLink (Online service)
Outros Autores: Ciobanu, Gabriel
Formato: Electronic Resource
Idioma:English
Publicado em: Berlin, Heidelberg Springer 2011.
Colecção:Natural Computing Series
Assuntos:
Acesso em linha:Available for University of the Philippines Diliman via SpringerLink. Click here to access