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

Popoln opis

Bibliografske podrobnosti
Glavni avtor: Aman, Bogdan
Korporativna značnica: SpringerLink (Online service)
Drugi avtorji: Ciobanu, Gabriel
Format: Electronic Resource
Jezik:English
Izdano: Berlin, Heidelberg Springer 2011.
Serija:Natural Computing Series
Teme:
Online dostop:Available for University of the Philippines Diliman via SpringerLink. Click here to access