Gabriel Ciobanu / Bogdan Aman
Mobility in Process Calculi and Natural Computing
- Springer Berlin Heidelberg
- 2014
- Taschenbuch
- 224 Seiten
- ISBN 9783642437113
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 that belongs to the general area of natural computing. This is the first book to establish a link between these two research directions while treating mobility as the central topic. In the first chapter the authors offer a formal description of mobility in process calculi, noting the entities that move: links (p-calculus), ambients (ambient calculi) and branes (brane calculi). In the second
Mehr
Weniger
zzgl. Versand
in Kürze