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

Main Author: Aman, Bogdan.
Other Authors: Ciobanu, Gabriel., SpringerLink (Online service)
Format: eBook
Language: English
Published: Berlin ; Heidelberg : Springer, ©2011.
Berlin ; Heidelberg : [2011]
Physical Description: 1 online resource (xiii, 208 pages).
Series: Natural computing series.
Subjects:

CMU Electronic Access

Electronic Resource Click Here
LocationCall Number: Status
CMU Electronic Access Available