Mobility in Process Calculi and Natural Computing

Please use this identifier to cite or link to this item: 192.168.6.56/handle/123456789/57602

Full metadata record

DC Field	Value	Language
dc.contributor.author	Bogdan Aman Gabriel Ciobanu	-
dc.date.accessioned	2019-03-25T11:40:24Z	-
dc.date.available	2019-03-25T11:40:24Z	-
dc.date.issued	2011	-
dc.identifier.isbn	978-3-642-24867-2	-
dc.identifier.uri	http://10.6.20.12:80/handle/123456789/57602	-
dc.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).	-
dc.language	en	en_US
dc.language.iso	en	en_US
dc.publisher	Springer	en_US
dc.subject	Natural Computing	en_US
dc.title	Mobility in Process Calculi and Natural Computing	en_US
dc.type	Book	en_US
Appears in Collections:	Population Studies

Files in This Item:

File	Description	Size	Format
34.pdf		2.64 MB	Adobe PDF	View/Open