Title:	Mobility in Process Calculi and Natural Computing
Authors:	Bogdan Aman Gabriel Ciobanu
Keywords:	Natural Computing
Issue Date:	2011
Publisher:	Springer
Description:	The design of formal calculi in which the fundamental concepts underlying interactive systems can be described and studied has been a central theme of theoretical computer science over the last two decades. In this book we refer to the formal description of mobility in computer science by using π-calculus, ambient calculus, bioambients, brane calculi and systems of mobile membranes. In process algebra the moving entities are the links (π-calculus), the ambients (ambient calculus and bio-ambients) and the branes (brane calculi). In membrane systems the movement is provided by rules inspired by endocytosis and exocytosis. Cell movement is a dynamic phenomenon that is essential to a variety of biological processes (e.g., immune response).
URI:	http://10.6.20.12:80/handle/123456789/57602
ISBN:	978-3-642-24867-2
Appears in Collections:	Population Studies

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.