Overview
Membrane systems are a new class of distributed and parallel model of computation inspired by the subdivision of living cells into compartments delimited by membranes. Their hierarchical internal structure, their locality of interactions, their inherent parallelism and also their capacity to create new compartments, represent the distinguishing hallmarks of membrane systems.Membrane computing, the study of membrane systems, is a fascinating and fast growing area of research. The main streams of current investigations in Membrane Computing concern theoretical computer science and the modelling of complex systems. In this monograph Pierluigi Frisco considers the former trend: he presents an in-depth study of the formal language and computational complexity aspects of the most widely investigated models of membrane systems.This study gives a comprehensive understanding of the computational power of the models considered, shows different proof techniques used for such study, and introduces links highlighting the similarities and differences between the their computational power. These models cover a broad range of features, giving a grasp of the enormous flexibility of the framework offered by membrane systems.Aimed at graduates and researchers in the field, who can use it as a reference text, and to people with an initial interest in Membrane Computing, who can use it as a clear and up to date starting point for Membrane Computing.
Full Product Details
Author: Pierluigi Frisco (Department of Computer Science, Herriot Watt University)
Publisher: Oxford University Press
Imprint: Oxford University Press
Dimensions:
Width: 16.30cm
, Height: 2.60cm
, Length: 24.20cm
Weight: 0.688kg
ISBN: 9780199542864
ISBN 10: 0199542864
Pages: 358
Publication Date: 21 May 2009
Audience:
College/higher education
,
Postgraduate, Research & Scholarly
Format: Hardback
Publisher's Status: Active
Availability: To order
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.
Author Information
Dr. P. Frisco graduated in Computer Science in 1997 at the Università degli studi di Milano (Italy) following a thesis in the field of Molecular Computing. After graduating he worked as software developer. In 1998 he obtained a two-year scholarship for a stay at the Leiden Institute for Advanced Computer Science (LIACS), Universiteit Leiden (The Netherlands). In 2000 he became a PhD student in this institute. In June 2004 he successfully completed his PhD thesis titled: `Theory of Molecular Computing - Splicing and Membrane Systems'. In September of the same year he was appointed lecturer at the Department of Computer Science at the University of Exeter. In March 2006 he was appointed lecturer at the School of Mathematical and Computer Sciences at Heriot-Watt University, Edinburgh, where he currently works.
