Over the last few years, there has been a rapid progress in our understanding of molecular biology. Techniques like genome sequencing combined with large scale analysis of genes and gene-products, have facilitated the transfer of information from wet labs to electronic computers. Adequate representation and analysis of biological data to derive meaningful hypothesis is an active area of research in Computer Science. This book focuses on the representation, and simulation of biochemical reactions at the molecular level, using an emerging computational paradigm known as -calculus. The book...